(set-info :smt-lib-version 2.6)
(set-logic QF_RDL)
(set-info :source |
SMT-PLAN_GP1 automated Planning to SMT-LIB encoding
by F.Maris and P.Regnier, IRIT - Universite Paul Sabatier, Toulouse
Benchmark encoded from planning problem
domain : domain-cooking, problem : cooking01

|)
(set-info :category "industrial")
(set-info :status sat)
(declare-fun t_Init () Real)
(declare-fun t_Goal () Real)
(declare-fun t_BREAKING_EGGS_e11 () Real)
(declare-fun t_BREAKING_EGGS_e21 () Real)
(declare-fun t_BREAKING_EGGS_e31 () Real)
(declare-fun t_BREAKING_EGGS_e41 () Real)
(declare-fun t_BREAKING_EGGS_e51 () Real)
(declare-fun t_BREAKING_EGGS_e61 () Real)
(declare-fun t_BREAKING_EGGS_e71 () Real)
(declare-fun t_BREAKING_EGGS_e81 () Real)
(declare-fun t_BREAKING_EGGS_e91 () Real)
(declare-fun t_FIRE_COOKING_PLATE_p11 () Real)
(declare-fun t_FIRE_COOKING_PLATE_p21 () Real)
(declare-fun t_BREAKING_EGGS_e12 () Real)
(declare-fun t_BREAKING_EGGS_e22 () Real)
(declare-fun t_BREAKING_EGGS_e32 () Real)
(declare-fun t_BREAKING_EGGS_e42 () Real)
(declare-fun t_BREAKING_EGGS_e52 () Real)
(declare-fun t_BREAKING_EGGS_e62 () Real)
(declare-fun t_BREAKING_EGGS_e72 () Real)
(declare-fun t_BREAKING_EGGS_e82 () Real)
(declare-fun t_BREAKING_EGGS_e92 () Real)
(declare-fun t_BOILING_OIL_p1_o12 () Real)
(declare-fun t_BOILING_OIL_p2_o12 () Real)
(declare-fun t_BOILING_WATER_p1_w12 () Real)
(declare-fun t_BOILING_WATER_p2_w12 () Real)
(declare-fun t_FIRE_COOKING_PLATE_p12 () Real)
(declare-fun t_FIRE_COOKING_PLATE_p22 () Real)
(declare-fun t_BREAKING_EGGS_e13 () Real)
(declare-fun t_BREAKING_EGGS_e23 () Real)
(declare-fun t_BREAKING_EGGS_e33 () Real)
(declare-fun t_BREAKING_EGGS_e43 () Real)
(declare-fun t_BREAKING_EGGS_e53 () Real)
(declare-fun t_BREAKING_EGGS_e63 () Real)
(declare-fun t_BREAKING_EGGS_e73 () Real)
(declare-fun t_BREAKING_EGGS_e83 () Real)
(declare-fun t_BREAKING_EGGS_e93 () Real)
(declare-fun t_COOKING_LARDON_o1_l13 () Real)
(declare-fun t_COOKING_LARDON_o1_l23 () Real)
(declare-fun t_COOKING_LARDON_o1_l33 () Real)
(declare-fun t_COOKING_LARDON_o1_l43 () Real)
(declare-fun t_COOKING_LARDON_o1_l53 () Real)
(declare-fun t_COOKING_LARDON_o1_l63 () Real)
(declare-fun t_COOKING_LARDON_o1_l73 () Real)
(declare-fun t_COOKING_LARDON_o1_l83 () Real)
(declare-fun t_COOKING_LARDON_o1_l93 () Real)
(declare-fun t_COOKING_NOODLES_w1_n13 () Real)
(declare-fun t_COOKING_NOODLES_w1_n23 () Real)
(declare-fun t_COOKING_NOODLES_w1_n33 () Real)
(declare-fun t_COOKING_NOODLES_w1_n43 () Real)
(declare-fun t_COOKING_NOODLES_w1_n53 () Real)
(declare-fun t_COOKING_NOODLES_w1_n63 () Real)
(declare-fun t_COOKING_NOODLES_w1_n73 () Real)
(declare-fun t_COOKING_NOODLES_w1_n83 () Real)
(declare-fun t_COOKING_NOODLES_w1_n93 () Real)
(declare-fun t_BOILING_OIL_p1_o13 () Real)
(declare-fun t_BOILING_OIL_p2_o13 () Real)
(declare-fun t_BOILING_WATER_p1_w13 () Real)
(declare-fun t_BOILING_WATER_p2_w13 () Real)
(declare-fun t_COOKING_CARBONARA_n1_l1_e14 () Real)
(declare-fun t_COOKING_CARBONARA_n2_l2_e24 () Real)
(declare-fun t_COOKING_CARBONARA_n3_l3_e34 () Real)
(declare-fun t_COOKING_CARBONARA_n4_l4_e44 () Real)
(declare-fun t_COOKING_CARBONARA_n5_l5_e54 () Real)
(declare-fun t_COOKING_CARBONARA_n6_l6_e64 () Real)
(declare-fun t_COOKING_CARBONARA_n7_l7_e74 () Real)
(declare-fun t_COOKING_CARBONARA_n8_l8_e84 () Real)
(declare-fun t_COOKING_CARBONARA_n9_l9_e94 () Real)
(declare-fun t_COOKING_LARDON_o1_l14 () Real)
(declare-fun t_COOKING_LARDON_o1_l24 () Real)
(declare-fun t_COOKING_LARDON_o1_l34 () Real)
(declare-fun t_COOKING_LARDON_o1_l44 () Real)
(declare-fun t_COOKING_LARDON_o1_l54 () Real)
(declare-fun t_COOKING_LARDON_o1_l64 () Real)
(declare-fun t_COOKING_LARDON_o1_l74 () Real)
(declare-fun t_COOKING_LARDON_o1_l84 () Real)
(declare-fun t_COOKING_LARDON_o1_l94 () Real)
(declare-fun t_COOKING_NOODLES_w1_n14 () Real)
(declare-fun t_COOKING_NOODLES_w1_n24 () Real)
(declare-fun t_COOKING_NOODLES_w1_n34 () Real)
(declare-fun t_COOKING_NOODLES_w1_n44 () Real)
(declare-fun t_COOKING_NOODLES_w1_n54 () Real)
(declare-fun t_COOKING_NOODLES_w1_n64 () Real)
(declare-fun t_COOKING_NOODLES_w1_n74 () Real)
(declare-fun t_COOKING_NOODLES_w1_n84 () Real)
(declare-fun t_COOKING_NOODLES_w1_n94 () Real)
(declare-fun t_EATING_CARBONARA_n1_l1_e15 () Real)
(declare-fun t_EATING_CARBONARA_n2_l2_e25 () Real)
(declare-fun t_EATING_CARBONARA_n3_l3_e35 () Real)
(declare-fun t_EATING_CARBONARA_n4_l4_e45 () Real)
(declare-fun t_EATING_CARBONARA_n5_l5_e55 () Real)
(declare-fun t_EATING_CARBONARA_n6_l6_e65 () Real)
(declare-fun t_EATING_CARBONARA_n7_l7_e75 () Real)
(declare-fun t_EATING_CARBONARA_n8_l8_e85 () Real)
(declare-fun t_EATING_CARBONARA_n9_l9_e95 () Real)
(declare-fun Init () Bool)
(declare-fun Goal () Bool)
(declare-fun BREAKING_EGGS_e11 () Bool)
(declare-fun BREAKING_EGGS_e21 () Bool)
(declare-fun BREAKING_EGGS_e31 () Bool)
(declare-fun BREAKING_EGGS_e41 () Bool)
(declare-fun BREAKING_EGGS_e51 () Bool)
(declare-fun BREAKING_EGGS_e61 () Bool)
(declare-fun BREAKING_EGGS_e71 () Bool)
(declare-fun BREAKING_EGGS_e81 () Bool)
(declare-fun BREAKING_EGGS_e91 () Bool)
(declare-fun FIRE_COOKING_PLATE_p11 () Bool)
(declare-fun FIRE_COOKING_PLATE_p21 () Bool)
(declare-fun BREAKING_EGGS_e12 () Bool)
(declare-fun BREAKING_EGGS_e22 () Bool)
(declare-fun BREAKING_EGGS_e32 () Bool)
(declare-fun BREAKING_EGGS_e42 () Bool)
(declare-fun BREAKING_EGGS_e52 () Bool)
(declare-fun BREAKING_EGGS_e62 () Bool)
(declare-fun BREAKING_EGGS_e72 () Bool)
(declare-fun BREAKING_EGGS_e82 () Bool)
(declare-fun BREAKING_EGGS_e92 () Bool)
(declare-fun BOILING_OIL_p1_o12 () Bool)
(declare-fun BOILING_OIL_p2_o12 () Bool)
(declare-fun BOILING_WATER_p1_w12 () Bool)
(declare-fun BOILING_WATER_p2_w12 () Bool)
(declare-fun FIRE_COOKING_PLATE_p12 () Bool)
(declare-fun FIRE_COOKING_PLATE_p22 () Bool)
(declare-fun BREAKING_EGGS_e13 () Bool)
(declare-fun BREAKING_EGGS_e23 () Bool)
(declare-fun BREAKING_EGGS_e33 () Bool)
(declare-fun BREAKING_EGGS_e43 () Bool)
(declare-fun BREAKING_EGGS_e53 () Bool)
(declare-fun BREAKING_EGGS_e63 () Bool)
(declare-fun BREAKING_EGGS_e73 () Bool)
(declare-fun BREAKING_EGGS_e83 () Bool)
(declare-fun BREAKING_EGGS_e93 () Bool)
(declare-fun COOKING_LARDON_o1_l13 () Bool)
(declare-fun COOKING_LARDON_o1_l23 () Bool)
(declare-fun COOKING_LARDON_o1_l33 () Bool)
(declare-fun COOKING_LARDON_o1_l43 () Bool)
(declare-fun COOKING_LARDON_o1_l53 () Bool)
(declare-fun COOKING_LARDON_o1_l63 () Bool)
(declare-fun COOKING_LARDON_o1_l73 () Bool)
(declare-fun COOKING_LARDON_o1_l83 () Bool)
(declare-fun COOKING_LARDON_o1_l93 () Bool)
(declare-fun COOKING_NOODLES_w1_n13 () Bool)
(declare-fun COOKING_NOODLES_w1_n23 () Bool)
(declare-fun COOKING_NOODLES_w1_n33 () Bool)
(declare-fun COOKING_NOODLES_w1_n43 () Bool)
(declare-fun COOKING_NOODLES_w1_n53 () Bool)
(declare-fun COOKING_NOODLES_w1_n63 () Bool)
(declare-fun COOKING_NOODLES_w1_n73 () Bool)
(declare-fun COOKING_NOODLES_w1_n83 () Bool)
(declare-fun COOKING_NOODLES_w1_n93 () Bool)
(declare-fun BOILING_OIL_p1_o13 () Bool)
(declare-fun BOILING_OIL_p2_o13 () Bool)
(declare-fun BOILING_WATER_p1_w13 () Bool)
(declare-fun BOILING_WATER_p2_w13 () Bool)
(declare-fun COOKING_CARBONARA_n1_l1_e14 () Bool)
(declare-fun COOKING_CARBONARA_n2_l2_e24 () Bool)
(declare-fun COOKING_CARBONARA_n3_l3_e34 () Bool)
(declare-fun COOKING_CARBONARA_n4_l4_e44 () Bool)
(declare-fun COOKING_CARBONARA_n5_l5_e54 () Bool)
(declare-fun COOKING_CARBONARA_n6_l6_e64 () Bool)
(declare-fun COOKING_CARBONARA_n7_l7_e74 () Bool)
(declare-fun COOKING_CARBONARA_n8_l8_e84 () Bool)
(declare-fun COOKING_CARBONARA_n9_l9_e94 () Bool)
(declare-fun COOKING_LARDON_o1_l14 () Bool)
(declare-fun COOKING_LARDON_o1_l24 () Bool)
(declare-fun COOKING_LARDON_o1_l34 () Bool)
(declare-fun COOKING_LARDON_o1_l44 () Bool)
(declare-fun COOKING_LARDON_o1_l54 () Bool)
(declare-fun COOKING_LARDON_o1_l64 () Bool)
(declare-fun COOKING_LARDON_o1_l74 () Bool)
(declare-fun COOKING_LARDON_o1_l84 () Bool)
(declare-fun COOKING_LARDON_o1_l94 () Bool)
(declare-fun COOKING_NOODLES_w1_n14 () Bool)
(declare-fun COOKING_NOODLES_w1_n24 () Bool)
(declare-fun COOKING_NOODLES_w1_n34 () Bool)
(declare-fun COOKING_NOODLES_w1_n44 () Bool)
(declare-fun COOKING_NOODLES_w1_n54 () Bool)
(declare-fun COOKING_NOODLES_w1_n64 () Bool)
(declare-fun COOKING_NOODLES_w1_n74 () Bool)
(declare-fun COOKING_NOODLES_w1_n84 () Bool)
(declare-fun COOKING_NOODLES_w1_n94 () Bool)
(declare-fun EATING_CARBONARA_n1_l1_e15 () Bool)
(declare-fun EATING_CARBONARA_n2_l2_e25 () Bool)
(declare-fun EATING_CARBONARA_n3_l3_e35 () Bool)
(declare-fun EATING_CARBONARA_n4_l4_e45 () Bool)
(declare-fun EATING_CARBONARA_n5_l5_e55 () Bool)
(declare-fun EATING_CARBONARA_n6_l6_e65 () Bool)
(declare-fun EATING_CARBONARA_n7_l7_e75 () Bool)
(declare-fun EATING_CARBONARA_n8_l8_e85 () Bool)
(declare-fun EATING_CARBONARA_n9_l9_e95 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_OIL_p1_o12 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_OIL_p2_o12 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_WATER_p1_w12 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_WATER_p2_w12 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l13 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l13 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l23 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l23 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l33 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l33 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l43 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l43 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l53 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l53 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l63 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l63 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l73 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l73 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l83 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l83 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l93 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l93 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n13 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n13 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n23 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n23 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n33 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n33 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n43 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n43 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n53 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n53 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n63 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n63 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n73 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n73 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n83 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n83 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n93 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n93 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_OIL_p1_o13 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p12.ready_p1.BOILING_OIL_p1_o13 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_OIL_p2_o13 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p22.ready_p2.BOILING_OIL_p2_o13 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_WATER_p1_w13 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p12.ready_p1.BOILING_WATER_p1_w13 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_WATER_p2_w13 () Bool)
(declare-fun Link_FIRE_COOKING_PLATE_p22.ready_p2.BOILING_WATER_p2_w13 () Bool)
(declare-fun Link_BREAKING_EGGS_e11.ready_e1.COOKING_CARBONARA_n1_l1_e14 () Bool)
(declare-fun Link_BREAKING_EGGS_e12.ready_e1.COOKING_CARBONARA_n1_l1_e14 () Bool)
(declare-fun Link_BREAKING_EGGS_e13.ready_e1.COOKING_CARBONARA_n1_l1_e14 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l13.cooked_l1.COOKING_CARBONARA_n1_l1_e14 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n13.cooked_n1.COOKING_CARBONARA_n1_l1_e14 () Bool)
(declare-fun Link_BREAKING_EGGS_e21.ready_e2.COOKING_CARBONARA_n2_l2_e24 () Bool)
(declare-fun Link_BREAKING_EGGS_e22.ready_e2.COOKING_CARBONARA_n2_l2_e24 () Bool)
(declare-fun Link_BREAKING_EGGS_e23.ready_e2.COOKING_CARBONARA_n2_l2_e24 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l23.cooked_l2.COOKING_CARBONARA_n2_l2_e24 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n23.cooked_n2.COOKING_CARBONARA_n2_l2_e24 () Bool)
(declare-fun Link_BREAKING_EGGS_e31.ready_e3.COOKING_CARBONARA_n3_l3_e34 () Bool)
(declare-fun Link_BREAKING_EGGS_e32.ready_e3.COOKING_CARBONARA_n3_l3_e34 () Bool)
(declare-fun Link_BREAKING_EGGS_e33.ready_e3.COOKING_CARBONARA_n3_l3_e34 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l33.cooked_l3.COOKING_CARBONARA_n3_l3_e34 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n33.cooked_n3.COOKING_CARBONARA_n3_l3_e34 () Bool)
(declare-fun Link_BREAKING_EGGS_e41.ready_e4.COOKING_CARBONARA_n4_l4_e44 () Bool)
(declare-fun Link_BREAKING_EGGS_e42.ready_e4.COOKING_CARBONARA_n4_l4_e44 () Bool)
(declare-fun Link_BREAKING_EGGS_e43.ready_e4.COOKING_CARBONARA_n4_l4_e44 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l43.cooked_l4.COOKING_CARBONARA_n4_l4_e44 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n43.cooked_n4.COOKING_CARBONARA_n4_l4_e44 () Bool)
(declare-fun Link_BREAKING_EGGS_e51.ready_e5.COOKING_CARBONARA_n5_l5_e54 () Bool)
(declare-fun Link_BREAKING_EGGS_e52.ready_e5.COOKING_CARBONARA_n5_l5_e54 () Bool)
(declare-fun Link_BREAKING_EGGS_e53.ready_e5.COOKING_CARBONARA_n5_l5_e54 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l53.cooked_l5.COOKING_CARBONARA_n5_l5_e54 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n53.cooked_n5.COOKING_CARBONARA_n5_l5_e54 () Bool)
(declare-fun Link_BREAKING_EGGS_e61.ready_e6.COOKING_CARBONARA_n6_l6_e64 () Bool)
(declare-fun Link_BREAKING_EGGS_e62.ready_e6.COOKING_CARBONARA_n6_l6_e64 () Bool)
(declare-fun Link_BREAKING_EGGS_e63.ready_e6.COOKING_CARBONARA_n6_l6_e64 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l63.cooked_l6.COOKING_CARBONARA_n6_l6_e64 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n63.cooked_n6.COOKING_CARBONARA_n6_l6_e64 () Bool)
(declare-fun Link_BREAKING_EGGS_e71.ready_e7.COOKING_CARBONARA_n7_l7_e74 () Bool)
(declare-fun Link_BREAKING_EGGS_e72.ready_e7.COOKING_CARBONARA_n7_l7_e74 () Bool)
(declare-fun Link_BREAKING_EGGS_e73.ready_e7.COOKING_CARBONARA_n7_l7_e74 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l73.cooked_l7.COOKING_CARBONARA_n7_l7_e74 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n73.cooked_n7.COOKING_CARBONARA_n7_l7_e74 () Bool)
(declare-fun Link_BREAKING_EGGS_e81.ready_e8.COOKING_CARBONARA_n8_l8_e84 () Bool)
(declare-fun Link_BREAKING_EGGS_e82.ready_e8.COOKING_CARBONARA_n8_l8_e84 () Bool)
(declare-fun Link_BREAKING_EGGS_e83.ready_e8.COOKING_CARBONARA_n8_l8_e84 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l83.cooked_l8.COOKING_CARBONARA_n8_l8_e84 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n83.cooked_n8.COOKING_CARBONARA_n8_l8_e84 () Bool)
(declare-fun Link_BREAKING_EGGS_e91.ready_e9.COOKING_CARBONARA_n9_l9_e94 () Bool)
(declare-fun Link_BREAKING_EGGS_e92.ready_e9.COOKING_CARBONARA_n9_l9_e94 () Bool)
(declare-fun Link_BREAKING_EGGS_e93.ready_e9.COOKING_CARBONARA_n9_l9_e94 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l93.cooked_l9.COOKING_CARBONARA_n9_l9_e94 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n93.cooked_n9.COOKING_CARBONARA_n9_l9_e94 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l14 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l14 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l14 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l14 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l24 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l24 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l24 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l24 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l34 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l34 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l34 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l34 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l44 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l44 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l44 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l44 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l54 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l54 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l54 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l54 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l64 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l64 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l64 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l64 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l74 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l74 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l74 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l74 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l84 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l84 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l84 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l84 () Bool)
(declare-fun Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l94 () Bool)
(declare-fun Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l94 () Bool)
(declare-fun Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l94 () Bool)
(declare-fun Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l94 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n14 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n14 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n14 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n14 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n24 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n24 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n24 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n24 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n34 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n34 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n34 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n34 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n44 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n44 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n44 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n44 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n54 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n54 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n54 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n54 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n64 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n64 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n64 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n64 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n74 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n74 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n74 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n74 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n84 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n84 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n84 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n84 () Bool)
(declare-fun Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n94 () Bool)
(declare-fun Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n94 () Bool)
(declare-fun Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n94 () Bool)
(declare-fun Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n94 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l13.hot_l1.EATING_CARBONARA_n1_l1_e15 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l14.hot_l1.EATING_CARBONARA_n1_l1_e15 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n13.hot_n1.EATING_CARBONARA_n1_l1_e15 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n14.hot_n1.EATING_CARBONARA_n1_l1_e15 () Bool)
(declare-fun Link_COOKING_CARBONARA_n1_l1_e14.mixed3_n1_l1_e1.EATING_CARBONARA_n1_l1_e15 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l23.hot_l2.EATING_CARBONARA_n2_l2_e25 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l24.hot_l2.EATING_CARBONARA_n2_l2_e25 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n23.hot_n2.EATING_CARBONARA_n2_l2_e25 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n24.hot_n2.EATING_CARBONARA_n2_l2_e25 () Bool)
(declare-fun Link_COOKING_CARBONARA_n2_l2_e24.mixed3_n2_l2_e2.EATING_CARBONARA_n2_l2_e25 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l33.hot_l3.EATING_CARBONARA_n3_l3_e35 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l34.hot_l3.EATING_CARBONARA_n3_l3_e35 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n33.hot_n3.EATING_CARBONARA_n3_l3_e35 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n34.hot_n3.EATING_CARBONARA_n3_l3_e35 () Bool)
(declare-fun Link_COOKING_CARBONARA_n3_l3_e34.mixed3_n3_l3_e3.EATING_CARBONARA_n3_l3_e35 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l43.hot_l4.EATING_CARBONARA_n4_l4_e45 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l44.hot_l4.EATING_CARBONARA_n4_l4_e45 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n43.hot_n4.EATING_CARBONARA_n4_l4_e45 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n44.hot_n4.EATING_CARBONARA_n4_l4_e45 () Bool)
(declare-fun Link_COOKING_CARBONARA_n4_l4_e44.mixed3_n4_l4_e4.EATING_CARBONARA_n4_l4_e45 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l53.hot_l5.EATING_CARBONARA_n5_l5_e55 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l54.hot_l5.EATING_CARBONARA_n5_l5_e55 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n53.hot_n5.EATING_CARBONARA_n5_l5_e55 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n54.hot_n5.EATING_CARBONARA_n5_l5_e55 () Bool)
(declare-fun Link_COOKING_CARBONARA_n5_l5_e54.mixed3_n5_l5_e5.EATING_CARBONARA_n5_l5_e55 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l63.hot_l6.EATING_CARBONARA_n6_l6_e65 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l64.hot_l6.EATING_CARBONARA_n6_l6_e65 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n63.hot_n6.EATING_CARBONARA_n6_l6_e65 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n64.hot_n6.EATING_CARBONARA_n6_l6_e65 () Bool)
(declare-fun Link_COOKING_CARBONARA_n6_l6_e64.mixed3_n6_l6_e6.EATING_CARBONARA_n6_l6_e65 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l73.hot_l7.EATING_CARBONARA_n7_l7_e75 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l74.hot_l7.EATING_CARBONARA_n7_l7_e75 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n73.hot_n7.EATING_CARBONARA_n7_l7_e75 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n74.hot_n7.EATING_CARBONARA_n7_l7_e75 () Bool)
(declare-fun Link_COOKING_CARBONARA_n7_l7_e74.mixed3_n7_l7_e7.EATING_CARBONARA_n7_l7_e75 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l83.hot_l8.EATING_CARBONARA_n8_l8_e85 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l84.hot_l8.EATING_CARBONARA_n8_l8_e85 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n83.hot_n8.EATING_CARBONARA_n8_l8_e85 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n84.hot_n8.EATING_CARBONARA_n8_l8_e85 () Bool)
(declare-fun Link_COOKING_CARBONARA_n8_l8_e84.mixed3_n8_l8_e8.EATING_CARBONARA_n8_l8_e85 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l93.hot_l9.EATING_CARBONARA_n9_l9_e95 () Bool)
(declare-fun Link_COOKING_LARDON_o1_l94.hot_l9.EATING_CARBONARA_n9_l9_e95 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n93.hot_n9.EATING_CARBONARA_n9_l9_e95 () Bool)
(declare-fun Link_COOKING_NOODLES_w1_n94.hot_n9.EATING_CARBONARA_n9_l9_e95 () Bool)
(declare-fun Link_COOKING_CARBONARA_n9_l9_e94.mixed3_n9_l9_e9.EATING_CARBONARA_n9_l9_e95 () Bool)
(declare-fun Link_EATING_CARBONARA_n1_l1_e15.eaten_carbonara_n1_l1_e1.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n2_l2_e25.eaten_carbonara_n2_l2_e2.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n3_l3_e35.eaten_carbonara_n3_l3_e3.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n4_l4_e45.eaten_carbonara_n4_l4_e4.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n5_l5_e55.eaten_carbonara_n5_l5_e5.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n6_l6_e65.eaten_carbonara_n6_l6_e6.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n7_l7_e75.eaten_carbonara_n7_l7_e7.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n8_l8_e85.eaten_carbonara_n8_l8_e8.Goal () Bool)
(declare-fun Link_EATING_CARBONARA_n9_l9_e95.eaten_carbonara_n9_l9_e9.Goal () Bool)
(assert (let ((?v_252 (not BOILING_OIL_p1_o12)) (?v_250 (not BOILING_OIL_p2_o12)) (?v_300 (not BOILING_WATER_p1_w12)) (?v_298 (not BOILING_WATER_p2_w12)) (?v_366 (not COOKING_LARDON_o1_l13)) (?v_370 (not COOKING_LARDON_o1_l23)) (?v_374 (not COOKING_LARDON_o1_l33)) (?v_378 (not COOKING_LARDON_o1_l43)) (?v_382 (not COOKING_LARDON_o1_l53)) (?v_386 (not COOKING_LARDON_o1_l63)) (?v_390 (not COOKING_LARDON_o1_l73)) (?v_394 (not COOKING_LARDON_o1_l83)) (?v_398 (not COOKING_LARDON_o1_l93)) (?v_368 (not COOKING_NOODLES_w1_n13)) (?v_372 (not COOKING_NOODLES_w1_n23)) (?v_376 (not COOKING_NOODLES_w1_n33)) (?v_380 (not COOKING_NOODLES_w1_n43)) (?v_384 (not COOKING_NOODLES_w1_n53)) (?v_388 (not COOKING_NOODLES_w1_n63)) (?v_392 (not COOKING_NOODLES_w1_n73)) (?v_396 (not COOKING_NOODLES_w1_n83)) (?v_400 (not COOKING_NOODLES_w1_n93)) (?v_253 (not BOILING_OIL_p1_o13)) (?v_251 (not BOILING_OIL_p2_o13)) (?v_301 (not BOILING_WATER_p1_w13)) (?v_299 (not BOILING_WATER_p2_w13)) (?v_0 (not COOKING_CARBONARA_n1_l1_e14)) (?v_1 (not COOKING_CARBONARA_n2_l2_e24)) (?v_2 (not COOKING_CARBONARA_n3_l3_e34)) (?v_3 (not COOKING_CARBONARA_n4_l4_e44)) (?v_4 (not COOKING_CARBONARA_n5_l5_e54)) (?v_5 (not COOKING_CARBONARA_n6_l6_e64)) (?v_6 (not COOKING_CARBONARA_n7_l7_e74)) (?v_7 (not COOKING_CARBONARA_n8_l8_e84)) (?v_8 (not COOKING_CARBONARA_n9_l9_e94)) (?v_367 (not COOKING_LARDON_o1_l14)) (?v_371 (not COOKING_LARDON_o1_l24)) (?v_375 (not COOKING_LARDON_o1_l34)) (?v_379 (not COOKING_LARDON_o1_l44)) (?v_383 (not COOKING_LARDON_o1_l54)) (?v_387 (not COOKING_LARDON_o1_l64)) (?v_391 (not COOKING_LARDON_o1_l74)) (?v_395 (not COOKING_LARDON_o1_l84)) (?v_399 (not COOKING_LARDON_o1_l94)) (?v_369 (not COOKING_NOODLES_w1_n14)) (?v_373 (not COOKING_NOODLES_w1_n24)) (?v_377 (not COOKING_NOODLES_w1_n34)) (?v_381 (not COOKING_NOODLES_w1_n44)) (?v_385 (not COOKING_NOODLES_w1_n54)) (?v_389 (not COOKING_NOODLES_w1_n64)) (?v_393 (not COOKING_NOODLES_w1_n74)) (?v_397 (not COOKING_NOODLES_w1_n84)) (?v_401 (not COOKING_NOODLES_w1_n94)) (?v_9 (not EATING_CARBONARA_n1_l1_e15)) (?v_10 (not EATING_CARBONARA_n2_l2_e25)) (?v_11 (not EATING_CARBONARA_n3_l3_e35)) (?v_12 (not EATING_CARBONARA_n4_l4_e45)) (?v_13 (not EATING_CARBONARA_n5_l5_e55)) (?v_14 (not EATING_CARBONARA_n6_l6_e65)) (?v_15 (not EATING_CARBONARA_n7_l7_e75)) (?v_16 (not EATING_CARBONARA_n8_l8_e85)) (?v_17 (not EATING_CARBONARA_n9_l9_e95)) (?v_18 (not Goal)) (?v_19 (not Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_OIL_p1_o12)) (?v_238 (- t_BOILING_OIL_p1_o12 t_FIRE_COOKING_PLATE_p11)) (?v_20 (not Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_OIL_p2_o12)) (?v_239 (- t_BOILING_OIL_p2_o12 t_FIRE_COOKING_PLATE_p21)) (?v_21 (not Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_WATER_p1_w12)) (?v_242 (- t_BOILING_WATER_p1_w12 t_FIRE_COOKING_PLATE_p11)) (?v_22 (not Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_WATER_p2_w12)) (?v_247 (- t_BOILING_WATER_p2_w12 t_FIRE_COOKING_PLATE_p21)) (?v_23 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l13)) (?v_24 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l13)) (?v_25 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l23)) (?v_26 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l23)) (?v_27 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l33)) (?v_28 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l33)) (?v_29 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l43)) (?v_30 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l43)) (?v_31 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l53)) (?v_32 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l53)) (?v_33 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l63)) (?v_34 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l63)) (?v_35 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l73)) (?v_36 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l73)) (?v_37 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l83)) (?v_38 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l83)) (?v_39 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l93)) (?v_40 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l93)) (?v_41 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n13)) (?v_42 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n13)) (?v_43 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n23)) (?v_44 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n23)) (?v_45 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n33)) (?v_46 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n33)) (?v_47 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n43)) (?v_48 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n43)) (?v_49 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n53)) (?v_50 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n53)) (?v_51 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n63)) (?v_52 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n63)) (?v_53 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n73)) (?v_54 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n73)) (?v_55 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n83)) (?v_56 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n83)) (?v_57 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n93)) (?v_58 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n93)) (?v_59 (not Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_OIL_p1_o13)) (?v_346 (- t_BOILING_OIL_p1_o13 t_FIRE_COOKING_PLATE_p11)) (?v_60 (not Link_FIRE_COOKING_PLATE_p12.ready_p1.BOILING_OIL_p1_o13)) (?v_347 (- t_BOILING_OIL_p1_o13 t_FIRE_COOKING_PLATE_p12)) (?v_61 (not Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_OIL_p2_o13)) (?v_350 (- t_BOILING_OIL_p2_o13 t_FIRE_COOKING_PLATE_p21)) (?v_62 (not Link_FIRE_COOKING_PLATE_p22.ready_p2.BOILING_OIL_p2_o13)) (?v_351 (- t_BOILING_OIL_p2_o13 t_FIRE_COOKING_PLATE_p22)) (?v_63 (not Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_WATER_p1_w13)) (?v_354 (- t_BOILING_WATER_p1_w13 t_FIRE_COOKING_PLATE_p11)) (?v_64 (not Link_FIRE_COOKING_PLATE_p12.ready_p1.BOILING_WATER_p1_w13)) (?v_355 (- t_BOILING_WATER_p1_w13 t_FIRE_COOKING_PLATE_p12)) (?v_65 (not Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_WATER_p2_w13)) (?v_360 (- t_BOILING_WATER_p2_w13 t_FIRE_COOKING_PLATE_p21)) (?v_66 (not Link_FIRE_COOKING_PLATE_p22.ready_p2.BOILING_WATER_p2_w13)) (?v_361 (- t_BOILING_WATER_p2_w13 t_FIRE_COOKING_PLATE_p22)) (?v_67 (not Link_BREAKING_EGGS_e11.ready_e1.COOKING_CARBONARA_n1_l1_e14)) (?v_68 (not Link_BREAKING_EGGS_e12.ready_e1.COOKING_CARBONARA_n1_l1_e14)) (?v_69 (not Link_BREAKING_EGGS_e13.ready_e1.COOKING_CARBONARA_n1_l1_e14)) (?v_70 (not Link_COOKING_LARDON_o1_l13.cooked_l1.COOKING_CARBONARA_n1_l1_e14)) (?v_71 (not Link_COOKING_NOODLES_w1_n13.cooked_n1.COOKING_CARBONARA_n1_l1_e14)) (?v_72 (not Link_BREAKING_EGGS_e21.ready_e2.COOKING_CARBONARA_n2_l2_e24)) (?v_73 (not Link_BREAKING_EGGS_e22.ready_e2.COOKING_CARBONARA_n2_l2_e24)) (?v_74 (not Link_BREAKING_EGGS_e23.ready_e2.COOKING_CARBONARA_n2_l2_e24)) (?v_75 (not Link_COOKING_LARDON_o1_l23.cooked_l2.COOKING_CARBONARA_n2_l2_e24)) (?v_76 (not Link_COOKING_NOODLES_w1_n23.cooked_n2.COOKING_CARBONARA_n2_l2_e24)) (?v_77 (not Link_BREAKING_EGGS_e31.ready_e3.COOKING_CARBONARA_n3_l3_e34)) (?v_78 (not Link_BREAKING_EGGS_e32.ready_e3.COOKING_CARBONARA_n3_l3_e34)) (?v_79 (not Link_BREAKING_EGGS_e33.ready_e3.COOKING_CARBONARA_n3_l3_e34)) (?v_80 (not Link_COOKING_LARDON_o1_l33.cooked_l3.COOKING_CARBONARA_n3_l3_e34)) (?v_81 (not Link_COOKING_NOODLES_w1_n33.cooked_n3.COOKING_CARBONARA_n3_l3_e34)) (?v_82 (not Link_BREAKING_EGGS_e41.ready_e4.COOKING_CARBONARA_n4_l4_e44)) (?v_83 (not Link_BREAKING_EGGS_e42.ready_e4.COOKING_CARBONARA_n4_l4_e44)) (?v_84 (not Link_BREAKING_EGGS_e43.ready_e4.COOKING_CARBONARA_n4_l4_e44)) (?v_85 (not Link_COOKING_LARDON_o1_l43.cooked_l4.COOKING_CARBONARA_n4_l4_e44)) (?v_86 (not Link_COOKING_NOODLES_w1_n43.cooked_n4.COOKING_CARBONARA_n4_l4_e44)) (?v_87 (not Link_BREAKING_EGGS_e51.ready_e5.COOKING_CARBONARA_n5_l5_e54)) (?v_88 (not Link_BREAKING_EGGS_e52.ready_e5.COOKING_CARBONARA_n5_l5_e54)) (?v_89 (not Link_BREAKING_EGGS_e53.ready_e5.COOKING_CARBONARA_n5_l5_e54)) (?v_90 (not Link_COOKING_LARDON_o1_l53.cooked_l5.COOKING_CARBONARA_n5_l5_e54)) (?v_91 (not Link_COOKING_NOODLES_w1_n53.cooked_n5.COOKING_CARBONARA_n5_l5_e54)) (?v_92 (not Link_BREAKING_EGGS_e61.ready_e6.COOKING_CARBONARA_n6_l6_e64)) (?v_93 (not Link_BREAKING_EGGS_e62.ready_e6.COOKING_CARBONARA_n6_l6_e64)) (?v_94 (not Link_BREAKING_EGGS_e63.ready_e6.COOKING_CARBONARA_n6_l6_e64)) (?v_95 (not Link_COOKING_LARDON_o1_l63.cooked_l6.COOKING_CARBONARA_n6_l6_e64)) (?v_96 (not Link_COOKING_NOODLES_w1_n63.cooked_n6.COOKING_CARBONARA_n6_l6_e64)) (?v_97 (not Link_BREAKING_EGGS_e71.ready_e7.COOKING_CARBONARA_n7_l7_e74)) (?v_98 (not Link_BREAKING_EGGS_e72.ready_e7.COOKING_CARBONARA_n7_l7_e74)) (?v_99 (not Link_BREAKING_EGGS_e73.ready_e7.COOKING_CARBONARA_n7_l7_e74)) (?v_100 (not Link_COOKING_LARDON_o1_l73.cooked_l7.COOKING_CARBONARA_n7_l7_e74)) (?v_101 (not Link_COOKING_NOODLES_w1_n73.cooked_n7.COOKING_CARBONARA_n7_l7_e74)) (?v_102 (not Link_BREAKING_EGGS_e81.ready_e8.COOKING_CARBONARA_n8_l8_e84)) (?v_103 (not Link_BREAKING_EGGS_e82.ready_e8.COOKING_CARBONARA_n8_l8_e84)) (?v_104 (not Link_BREAKING_EGGS_e83.ready_e8.COOKING_CARBONARA_n8_l8_e84)) (?v_105 (not Link_COOKING_LARDON_o1_l83.cooked_l8.COOKING_CARBONARA_n8_l8_e84)) (?v_106 (not Link_COOKING_NOODLES_w1_n83.cooked_n8.COOKING_CARBONARA_n8_l8_e84)) (?v_107 (not Link_BREAKING_EGGS_e91.ready_e9.COOKING_CARBONARA_n9_l9_e94)) (?v_108 (not Link_BREAKING_EGGS_e92.ready_e9.COOKING_CARBONARA_n9_l9_e94)) (?v_109 (not Link_BREAKING_EGGS_e93.ready_e9.COOKING_CARBONARA_n9_l9_e94)) (?v_110 (not Link_COOKING_LARDON_o1_l93.cooked_l9.COOKING_CARBONARA_n9_l9_e94)) (?v_111 (not Link_COOKING_NOODLES_w1_n93.cooked_n9.COOKING_CARBONARA_n9_l9_e94)) (?v_112 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l14)) (?v_113 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l14)) (?v_114 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l14)) (?v_115 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l14)) (?v_116 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l24)) (?v_117 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l24)) (?v_118 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l24)) (?v_119 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l24)) (?v_120 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l34)) (?v_121 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l34)) (?v_122 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l34)) (?v_123 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l34)) (?v_124 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l44)) (?v_125 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l44)) (?v_126 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l44)) (?v_127 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l44)) (?v_128 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l54)) (?v_129 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l54)) (?v_130 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l54)) (?v_131 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l54)) (?v_132 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l64)) (?v_133 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l64)) (?v_134 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l64)) (?v_135 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l64)) (?v_136 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l74)) (?v_137 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l74)) (?v_138 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l74)) (?v_139 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l74)) (?v_140 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l84)) (?v_141 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l84)) (?v_142 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l84)) (?v_143 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l84)) (?v_144 (not Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l94)) (?v_145 (not Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l94)) (?v_146 (not Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l94)) (?v_147 (not Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l94)) (?v_148 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n14)) (?v_149 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n14)) (?v_150 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n14)) (?v_151 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n14)) (?v_152 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n24)) (?v_153 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n24)) (?v_154 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n24)) (?v_155 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n24)) (?v_156 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n34)) (?v_157 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n34)) (?v_158 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n34)) (?v_159 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n34)) (?v_160 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n44)) (?v_161 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n44)) (?v_162 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n44)) (?v_163 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n44)) (?v_164 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n54)) (?v_165 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n54)) (?v_166 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n54)) (?v_167 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n54)) (?v_168 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n64)) (?v_169 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n64)) (?v_170 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n64)) (?v_171 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n64)) (?v_172 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n74)) (?v_173 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n74)) (?v_174 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n74)) (?v_175 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n74)) (?v_176 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n84)) (?v_177 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n84)) (?v_178 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n84)) (?v_179 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n84)) (?v_180 (not Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n94)) (?v_181 (not Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n94)) (?v_182 (not Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n94)) (?v_183 (not Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n94)) (?v_184 (not Link_COOKING_LARDON_o1_l13.hot_l1.EATING_CARBONARA_n1_l1_e15)) (?v_491 (- t_EATING_CARBONARA_n1_l1_e15 t_COOKING_LARDON_o1_l13)) (?v_185 (not Link_COOKING_LARDON_o1_l14.hot_l1.EATING_CARBONARA_n1_l1_e15)) (?v_493 (- t_EATING_CARBONARA_n1_l1_e15 t_COOKING_LARDON_o1_l14)) (?v_186 (not Link_COOKING_NOODLES_w1_n13.hot_n1.EATING_CARBONARA_n1_l1_e15)) (?v_497 (- t_EATING_CARBONARA_n1_l1_e15 t_COOKING_NOODLES_w1_n13)) (?v_187 (not Link_COOKING_NOODLES_w1_n14.hot_n1.EATING_CARBONARA_n1_l1_e15)) (?v_499 (- t_EATING_CARBONARA_n1_l1_e15 t_COOKING_NOODLES_w1_n14)) (?v_188 (not Link_COOKING_CARBONARA_n1_l1_e14.mixed3_n1_l1_e1.EATING_CARBONARA_n1_l1_e15)) (?v_189 (not Link_COOKING_LARDON_o1_l23.hot_l2.EATING_CARBONARA_n2_l2_e25)) (?v_503 (- t_EATING_CARBONARA_n2_l2_e25 t_COOKING_LARDON_o1_l23)) (?v_190 (not Link_COOKING_LARDON_o1_l24.hot_l2.EATING_CARBONARA_n2_l2_e25)) (?v_505 (- t_EATING_CARBONARA_n2_l2_e25 t_COOKING_LARDON_o1_l24)) (?v_191 (not Link_COOKING_NOODLES_w1_n23.hot_n2.EATING_CARBONARA_n2_l2_e25)) (?v_509 (- t_EATING_CARBONARA_n2_l2_e25 t_COOKING_NOODLES_w1_n23)) (?v_192 (not Link_COOKING_NOODLES_w1_n24.hot_n2.EATING_CARBONARA_n2_l2_e25)) (?v_511 (- t_EATING_CARBONARA_n2_l2_e25 t_COOKING_NOODLES_w1_n24)) (?v_193 (not Link_COOKING_CARBONARA_n2_l2_e24.mixed3_n2_l2_e2.EATING_CARBONARA_n2_l2_e25)) (?v_194 (not Link_COOKING_LARDON_o1_l33.hot_l3.EATING_CARBONARA_n3_l3_e35)) (?v_515 (- t_EATING_CARBONARA_n3_l3_e35 t_COOKING_LARDON_o1_l33)) (?v_195 (not Link_COOKING_LARDON_o1_l34.hot_l3.EATING_CARBONARA_n3_l3_e35)) (?v_517 (- t_EATING_CARBONARA_n3_l3_e35 t_COOKING_LARDON_o1_l34)) (?v_196 (not Link_COOKING_NOODLES_w1_n33.hot_n3.EATING_CARBONARA_n3_l3_e35)) (?v_521 (- t_EATING_CARBONARA_n3_l3_e35 t_COOKING_NOODLES_w1_n33)) (?v_197 (not Link_COOKING_NOODLES_w1_n34.hot_n3.EATING_CARBONARA_n3_l3_e35)) (?v_523 (- t_EATING_CARBONARA_n3_l3_e35 t_COOKING_NOODLES_w1_n34)) (?v_198 (not Link_COOKING_CARBONARA_n3_l3_e34.mixed3_n3_l3_e3.EATING_CARBONARA_n3_l3_e35)) (?v_199 (not Link_COOKING_LARDON_o1_l43.hot_l4.EATING_CARBONARA_n4_l4_e45)) (?v_527 (- t_EATING_CARBONARA_n4_l4_e45 t_COOKING_LARDON_o1_l43)) (?v_200 (not Link_COOKING_LARDON_o1_l44.hot_l4.EATING_CARBONARA_n4_l4_e45)) (?v_529 (- t_EATING_CARBONARA_n4_l4_e45 t_COOKING_LARDON_o1_l44)) (?v_201 (not Link_COOKING_NOODLES_w1_n43.hot_n4.EATING_CARBONARA_n4_l4_e45)) (?v_533 (- t_EATING_CARBONARA_n4_l4_e45 t_COOKING_NOODLES_w1_n43)) (?v_202 (not Link_COOKING_NOODLES_w1_n44.hot_n4.EATING_CARBONARA_n4_l4_e45)) (?v_535 (- t_EATING_CARBONARA_n4_l4_e45 t_COOKING_NOODLES_w1_n44)) (?v_203 (not Link_COOKING_CARBONARA_n4_l4_e44.mixed3_n4_l4_e4.EATING_CARBONARA_n4_l4_e45)) (?v_204 (not Link_COOKING_LARDON_o1_l53.hot_l5.EATING_CARBONARA_n5_l5_e55)) (?v_539 (- t_EATING_CARBONARA_n5_l5_e55 t_COOKING_LARDON_o1_l53)) (?v_205 (not Link_COOKING_LARDON_o1_l54.hot_l5.EATING_CARBONARA_n5_l5_e55)) (?v_541 (- t_EATING_CARBONARA_n5_l5_e55 t_COOKING_LARDON_o1_l54)) (?v_206 (not Link_COOKING_NOODLES_w1_n53.hot_n5.EATING_CARBONARA_n5_l5_e55)) (?v_545 (- t_EATING_CARBONARA_n5_l5_e55 t_COOKING_NOODLES_w1_n53)) (?v_207 (not Link_COOKING_NOODLES_w1_n54.hot_n5.EATING_CARBONARA_n5_l5_e55)) (?v_547 (- t_EATING_CARBONARA_n5_l5_e55 t_COOKING_NOODLES_w1_n54)) (?v_208 (not Link_COOKING_CARBONARA_n5_l5_e54.mixed3_n5_l5_e5.EATING_CARBONARA_n5_l5_e55)) (?v_209 (not Link_COOKING_LARDON_o1_l63.hot_l6.EATING_CARBONARA_n6_l6_e65)) (?v_551 (- t_EATING_CARBONARA_n6_l6_e65 t_COOKING_LARDON_o1_l63)) (?v_210 (not Link_COOKING_LARDON_o1_l64.hot_l6.EATING_CARBONARA_n6_l6_e65)) (?v_553 (- t_EATING_CARBONARA_n6_l6_e65 t_COOKING_LARDON_o1_l64)) (?v_211 (not Link_COOKING_NOODLES_w1_n63.hot_n6.EATING_CARBONARA_n6_l6_e65)) (?v_557 (- t_EATING_CARBONARA_n6_l6_e65 t_COOKING_NOODLES_w1_n63)) (?v_212 (not Link_COOKING_NOODLES_w1_n64.hot_n6.EATING_CARBONARA_n6_l6_e65)) (?v_559 (- t_EATING_CARBONARA_n6_l6_e65 t_COOKING_NOODLES_w1_n64)) (?v_213 (not Link_COOKING_CARBONARA_n6_l6_e64.mixed3_n6_l6_e6.EATING_CARBONARA_n6_l6_e65)) (?v_214 (not Link_COOKING_LARDON_o1_l73.hot_l7.EATING_CARBONARA_n7_l7_e75)) (?v_563 (- t_EATING_CARBONARA_n7_l7_e75 t_COOKING_LARDON_o1_l73)) (?v_215 (not Link_COOKING_LARDON_o1_l74.hot_l7.EATING_CARBONARA_n7_l7_e75)) (?v_565 (- t_EATING_CARBONARA_n7_l7_e75 t_COOKING_LARDON_o1_l74)) (?v_216 (not Link_COOKING_NOODLES_w1_n73.hot_n7.EATING_CARBONARA_n7_l7_e75)) (?v_569 (- t_EATING_CARBONARA_n7_l7_e75 t_COOKING_NOODLES_w1_n73)) (?v_217 (not Link_COOKING_NOODLES_w1_n74.hot_n7.EATING_CARBONARA_n7_l7_e75)) (?v_571 (- t_EATING_CARBONARA_n7_l7_e75 t_COOKING_NOODLES_w1_n74)) (?v_218 (not Link_COOKING_CARBONARA_n7_l7_e74.mixed3_n7_l7_e7.EATING_CARBONARA_n7_l7_e75)) (?v_219 (not Link_COOKING_LARDON_o1_l83.hot_l8.EATING_CARBONARA_n8_l8_e85)) (?v_575 (- t_EATING_CARBONARA_n8_l8_e85 t_COOKING_LARDON_o1_l83)) (?v_220 (not Link_COOKING_LARDON_o1_l84.hot_l8.EATING_CARBONARA_n8_l8_e85)) (?v_577 (- t_EATING_CARBONARA_n8_l8_e85 t_COOKING_LARDON_o1_l84)) (?v_221 (not Link_COOKING_NOODLES_w1_n83.hot_n8.EATING_CARBONARA_n8_l8_e85)) (?v_581 (- t_EATING_CARBONARA_n8_l8_e85 t_COOKING_NOODLES_w1_n83)) (?v_222 (not Link_COOKING_NOODLES_w1_n84.hot_n8.EATING_CARBONARA_n8_l8_e85)) (?v_583 (- t_EATING_CARBONARA_n8_l8_e85 t_COOKING_NOODLES_w1_n84)) (?v_223 (not Link_COOKING_CARBONARA_n8_l8_e84.mixed3_n8_l8_e8.EATING_CARBONARA_n8_l8_e85)) (?v_224 (not Link_COOKING_LARDON_o1_l93.hot_l9.EATING_CARBONARA_n9_l9_e95)) (?v_587 (- t_EATING_CARBONARA_n9_l9_e95 t_COOKING_LARDON_o1_l93)) (?v_225 (not Link_COOKING_LARDON_o1_l94.hot_l9.EATING_CARBONARA_n9_l9_e95)) (?v_589 (- t_EATING_CARBONARA_n9_l9_e95 t_COOKING_LARDON_o1_l94)) (?v_226 (not Link_COOKING_NOODLES_w1_n93.hot_n9.EATING_CARBONARA_n9_l9_e95)) (?v_593 (- t_EATING_CARBONARA_n9_l9_e95 t_COOKING_NOODLES_w1_n93)) (?v_227 (not Link_COOKING_NOODLES_w1_n94.hot_n9.EATING_CARBONARA_n9_l9_e95)) (?v_595 (- t_EATING_CARBONARA_n9_l9_e95 t_COOKING_NOODLES_w1_n94)) (?v_228 (not Link_COOKING_CARBONARA_n9_l9_e94.mixed3_n9_l9_e9.EATING_CARBONARA_n9_l9_e95)) (?v_229 (not Link_EATING_CARBONARA_n1_l1_e15.eaten_carbonara_n1_l1_e1.Goal)) (?v_598 (- t_Goal t_EATING_CARBONARA_n1_l1_e15))) (let ((?v_734 (>= ?v_598 5)) (?v_230 (not Link_EATING_CARBONARA_n2_l2_e25.eaten_carbonara_n2_l2_e2.Goal)) (?v_599 (- t_Goal t_EATING_CARBONARA_n2_l2_e25))) (let ((?v_735 (>= ?v_599 5)) (?v_231 (not Link_EATING_CARBONARA_n3_l3_e35.eaten_carbonara_n3_l3_e3.Goal)) (?v_600 (- t_Goal t_EATING_CARBONARA_n3_l3_e35))) (let ((?v_736 (>= ?v_600 5)) (?v_232 (not Link_EATING_CARBONARA_n4_l4_e45.eaten_carbonara_n4_l4_e4.Goal)) (?v_601 (- t_Goal t_EATING_CARBONARA_n4_l4_e45))) (let ((?v_737 (>= ?v_601 5)) (?v_233 (not Link_EATING_CARBONARA_n5_l5_e55.eaten_carbonara_n5_l5_e5.Goal)) (?v_602 (- t_Goal t_EATING_CARBONARA_n5_l5_e55))) (let ((?v_738 (>= ?v_602 5)) (?v_234 (not Link_EATING_CARBONARA_n6_l6_e65.eaten_carbonara_n6_l6_e6.Goal)) (?v_603 (- t_Goal t_EATING_CARBONARA_n6_l6_e65))) (let ((?v_739 (>= ?v_603 5)) (?v_235 (not Link_EATING_CARBONARA_n7_l7_e75.eaten_carbonara_n7_l7_e7.Goal)) (?v_604 (- t_Goal t_EATING_CARBONARA_n7_l7_e75))) (let ((?v_740 (>= ?v_604 5)) (?v_236 (not Link_EATING_CARBONARA_n8_l8_e85.eaten_carbonara_n8_l8_e8.Goal)) (?v_605 (- t_Goal t_EATING_CARBONARA_n8_l8_e85))) (let ((?v_741 (>= ?v_605 5)) (?v_237 (not Link_EATING_CARBONARA_n9_l9_e95.eaten_carbonara_n9_l9_e9.Goal)) (?v_606 (- t_Goal t_EATING_CARBONARA_n9_l9_e95))) (let ((?v_742 (>= ?v_606 5)) (?v_240 (not FIRE_COOKING_PLATE_p11)) (?v_241 (> (- t_FIRE_COOKING_PLATE_p11 t_FIRE_COOKING_PLATE_p11) 14)) (?v_243 (not FIRE_COOKING_PLATE_p12)) (?v_668 (- t_FIRE_COOKING_PLATE_p11 t_FIRE_COOKING_PLATE_p12))) (let ((?v_244 (> ?v_668 14)) (?v_245 (not FIRE_COOKING_PLATE_p21)) (?v_246 (> (- t_FIRE_COOKING_PLATE_p21 t_FIRE_COOKING_PLATE_p21) 14)) (?v_248 (not FIRE_COOKING_PLATE_p22)) (?v_610 (- t_FIRE_COOKING_PLATE_p21 t_FIRE_COOKING_PLATE_p22))) (let ((?v_249 (> ?v_610 14)) (?v_258 (>= (- t_BOILING_OIL_p2_o12 t_BOILING_OIL_p2_o12) 0)) (?v_254 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l13) 5)) (?v_689 (- t_BOILING_OIL_p2_o12 t_BOILING_OIL_p2_o13))) (let ((?v_259 (>= ?v_689 0)) (?v_255 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l13) 5)) (?v_686 (- t_BOILING_OIL_p2_o12 t_BOILING_OIL_p1_o12))) (let ((?v_260 (>= ?v_686 0)) (?v_256 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l13) 5)) (?v_692 (- t_BOILING_OIL_p2_o12 t_BOILING_OIL_p1_o13))) (let ((?v_261 (>= ?v_692 0)) (?v_257 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l13) 5)) (?v_683 (- t_BOILING_OIL_p1_o12 t_BOILING_OIL_p2_o12))) (let ((?v_262 (>= ?v_683 0)) (?v_690 (- t_BOILING_OIL_p1_o12 t_BOILING_OIL_p2_o13))) (let ((?v_264 (>= ?v_690 0)) (?v_266 (>= (- t_BOILING_OIL_p1_o12 t_BOILING_OIL_p1_o12) 0)) (?v_693 (- t_BOILING_OIL_p1_o12 t_BOILING_OIL_p1_o13))) (let ((?v_268 (>= ?v_693 0)) (?v_263 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l23) 5)) (?v_265 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l23) 5)) (?v_267 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l23) 5)) (?v_269 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l23) 5)) (?v_270 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l33) 5)) (?v_271 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l33) 5)) (?v_272 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l33) 5)) (?v_273 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l33) 5)) (?v_274 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l43) 5)) (?v_275 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l43) 5)) (?v_276 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l43) 5)) (?v_277 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l43) 5)) (?v_278 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l53) 5)) (?v_279 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l53) 5)) (?v_280 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l53) 5)) (?v_281 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l53) 5)) (?v_282 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l63) 5)) (?v_283 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l63) 5)) (?v_284 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l63) 5)) (?v_285 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l63) 5)) (?v_286 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l73) 5)) (?v_287 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l73) 5)) (?v_288 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l73) 5)) (?v_289 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l73) 5)) (?v_290 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l83) 5)) (?v_291 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l83) 5)) (?v_292 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l83) 5)) (?v_293 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l83) 5)) (?v_294 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l93) 5)) (?v_295 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l93) 5)) (?v_296 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l93) 5)) (?v_297 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l93) 5)) (?v_306 (>= (- t_BOILING_WATER_p2_w12 t_BOILING_WATER_p2_w12) 0)) (?v_302 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n13) 6)) (?v_647 (- t_BOILING_WATER_p2_w12 t_BOILING_WATER_p2_w13))) (let ((?v_307 (>= ?v_647 0)) (?v_303 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n13) 6)) (?v_644 (- t_BOILING_WATER_p2_w12 t_BOILING_WATER_p1_w12))) (let ((?v_308 (>= ?v_644 0)) (?v_304 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n13) 6)) (?v_650 (- t_BOILING_WATER_p2_w12 t_BOILING_WATER_p1_w13))) (let ((?v_309 (>= ?v_650 0)) (?v_305 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n13) 6)) (?v_641 (- t_BOILING_WATER_p1_w12 t_BOILING_WATER_p2_w12))) (let ((?v_310 (>= ?v_641 0)) (?v_648 (- t_BOILING_WATER_p1_w12 t_BOILING_WATER_p2_w13))) (let ((?v_312 (>= ?v_648 0)) (?v_314 (>= (- t_BOILING_WATER_p1_w12 t_BOILING_WATER_p1_w12) 0)) (?v_651 (- t_BOILING_WATER_p1_w12 t_BOILING_WATER_p1_w13))) (let ((?v_316 (>= ?v_651 0)) (?v_311 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n23) 6)) (?v_313 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n23) 6)) (?v_315 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n23) 6)) (?v_317 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n23) 6)) (?v_318 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n33) 6)) (?v_319 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n33) 6)) (?v_320 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n33) 6)) (?v_321 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n33) 6)) (?v_322 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n43) 6)) (?v_323 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n43) 6)) (?v_324 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n43) 6)) (?v_325 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n43) 6)) (?v_326 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n53) 6)) (?v_327 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n53) 6)) (?v_328 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n53) 6)) (?v_329 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n53) 6)) (?v_330 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n63) 6)) (?v_331 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n63) 6)) (?v_332 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n63) 6)) (?v_333 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n63) 6)) (?v_334 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n73) 6)) (?v_335 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n73) 6)) (?v_336 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n73) 6)) (?v_337 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n73) 6)) (?v_338 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n83) 6)) (?v_339 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n83) 6)) (?v_340 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n83) 6)) (?v_341 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n83) 6)) (?v_342 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n93) 6)) (?v_343 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n93) 6)) (?v_344 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n93) 6)) (?v_345 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n93) 6)) (?v_348 (<= ?v_346 5)) (?v_349 (<= ?v_347 5)) (?v_669 (- t_FIRE_COOKING_PLATE_p12 t_FIRE_COOKING_PLATE_p11))) (let ((?v_356 (> ?v_669 14)) (?v_358 (> (- t_FIRE_COOKING_PLATE_p12 t_FIRE_COOKING_PLATE_p12) 14)) (?v_352 (<= ?v_350 5)) (?v_353 (<= ?v_351 5)) (?v_611 (- t_FIRE_COOKING_PLATE_p22 t_FIRE_COOKING_PLATE_p21))) (let ((?v_362 (> ?v_611 14)) (?v_364 (> (- t_FIRE_COOKING_PLATE_p22 t_FIRE_COOKING_PLATE_p22) 14)) (?v_357 (<= ?v_354 5)) (?v_359 (<= ?v_355 5)) (?v_363 (<= ?v_360 5)) (?v_365 (<= ?v_361 5)) (?v_490 (- t_COOKING_LARDON_o1_l13 t_COOKING_LARDON_o1_l13)) (?v_492 (- t_COOKING_LARDON_o1_l13 t_COOKING_LARDON_o1_l14))) (let ((?v_702 (>= ?v_492 0)) (?v_496 (- t_COOKING_NOODLES_w1_n13 t_COOKING_NOODLES_w1_n13)) (?v_498 (- t_COOKING_NOODLES_w1_n13 t_COOKING_NOODLES_w1_n14))) (let ((?v_628 (>= ?v_498 0)) (?v_502 (- t_COOKING_LARDON_o1_l23 t_COOKING_LARDON_o1_l23)) (?v_504 (- t_COOKING_LARDON_o1_l23 t_COOKING_LARDON_o1_l24))) (let ((?v_636 (>= ?v_504 0)) (?v_508 (- t_COOKING_NOODLES_w1_n23 t_COOKING_NOODLES_w1_n23)) (?v_510 (- t_COOKING_NOODLES_w1_n23 t_COOKING_NOODLES_w1_n24))) (let ((?v_670 (>= ?v_510 0)) (?v_514 (- t_COOKING_LARDON_o1_l33 t_COOKING_LARDON_o1_l33)) (?v_516 (- t_COOKING_LARDON_o1_l33 t_COOKING_LARDON_o1_l34))) (let ((?v_678 (>= ?v_516 0)) (?v_520 (- t_COOKING_NOODLES_w1_n33 t_COOKING_NOODLES_w1_n33)) (?v_522 (- t_COOKING_NOODLES_w1_n33 t_COOKING_NOODLES_w1_n34))) (let ((?v_612 (>= ?v_522 0)) (?v_526 (- t_COOKING_LARDON_o1_l43 t_COOKING_LARDON_o1_l43)) (?v_528 (- t_COOKING_LARDON_o1_l43 t_COOKING_LARDON_o1_l44))) (let ((?v_620 (>= ?v_528 0)) (?v_532 (- t_COOKING_NOODLES_w1_n43 t_COOKING_NOODLES_w1_n43)) (?v_534 (- t_COOKING_NOODLES_w1_n43 t_COOKING_NOODLES_w1_n44))) (let ((?v_656 (>= ?v_534 0)) (?v_538 (- t_COOKING_LARDON_o1_l53 t_COOKING_LARDON_o1_l53)) (?v_540 (- t_COOKING_LARDON_o1_l53 t_COOKING_LARDON_o1_l54))) (let ((?v_664 (>= ?v_540 0)) (?v_544 (- t_COOKING_NOODLES_w1_n53 t_COOKING_NOODLES_w1_n53)) (?v_546 (- t_COOKING_NOODLES_w1_n53 t_COOKING_NOODLES_w1_n54))) (let ((?v_698 (>= ?v_546 0)) (?v_550 (- t_COOKING_LARDON_o1_l63 t_COOKING_LARDON_o1_l63)) (?v_552 (- t_COOKING_LARDON_o1_l63 t_COOKING_LARDON_o1_l64))) (let ((?v_706 (>= ?v_552 0)) (?v_556 (- t_COOKING_NOODLES_w1_n63 t_COOKING_NOODLES_w1_n63)) (?v_558 (- t_COOKING_NOODLES_w1_n63 t_COOKING_NOODLES_w1_n64))) (let ((?v_632 (>= ?v_558 0)) (?v_562 (- t_COOKING_LARDON_o1_l73 t_COOKING_LARDON_o1_l73)) (?v_564 (- t_COOKING_LARDON_o1_l73 t_COOKING_LARDON_o1_l74))) (let ((?v_640 (>= ?v_564 0)) (?v_568 (- t_COOKING_NOODLES_w1_n73 t_COOKING_NOODLES_w1_n73)) (?v_570 (- t_COOKING_NOODLES_w1_n73 t_COOKING_NOODLES_w1_n74))) (let ((?v_674 (>= ?v_570 0)) (?v_574 (- t_COOKING_LARDON_o1_l83 t_COOKING_LARDON_o1_l83)) (?v_576 (- t_COOKING_LARDON_o1_l83 t_COOKING_LARDON_o1_l84))) (let ((?v_682 (>= ?v_576 0)) (?v_580 (- t_COOKING_NOODLES_w1_n83 t_COOKING_NOODLES_w1_n83)) (?v_582 (- t_COOKING_NOODLES_w1_n83 t_COOKING_NOODLES_w1_n84))) (let ((?v_616 (>= ?v_582 0)) (?v_586 (- t_COOKING_LARDON_o1_l93 t_COOKING_LARDON_o1_l93)) (?v_588 (- t_COOKING_LARDON_o1_l93 t_COOKING_LARDON_o1_l94))) (let ((?v_624 (>= ?v_588 0)) (?v_592 (- t_COOKING_NOODLES_w1_n93 t_COOKING_NOODLES_w1_n93)) (?v_594 (- t_COOKING_NOODLES_w1_n93 t_COOKING_NOODLES_w1_n94))) (let ((?v_660 (>= ?v_594 0)) (?v_402 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l14) 5)) (?v_403 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l14) 5)) (?v_404 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l14) 5)) (?v_405 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l14) 5)) (?v_684 (- t_BOILING_OIL_p2_o13 t_BOILING_OIL_p2_o12))) (let ((?v_406 (>= ?v_684 0)) (?v_408 (>= (- t_BOILING_OIL_p2_o13 t_BOILING_OIL_p2_o13) 0)) (?v_687 (- t_BOILING_OIL_p2_o13 t_BOILING_OIL_p1_o12))) (let ((?v_410 (>= ?v_687 0)) (?v_694 (- t_BOILING_OIL_p2_o13 t_BOILING_OIL_p1_o13))) (let ((?v_412 (>= ?v_694 0)) (?v_685 (- t_BOILING_OIL_p1_o13 t_BOILING_OIL_p2_o12))) (let ((?v_414 (>= ?v_685 0)) (?v_691 (- t_BOILING_OIL_p1_o13 t_BOILING_OIL_p2_o13))) (let ((?v_415 (>= ?v_691 0)) (?v_688 (- t_BOILING_OIL_p1_o13 t_BOILING_OIL_p1_o12))) (let ((?v_416 (>= ?v_688 0)) (?v_417 (>= (- t_BOILING_OIL_p1_o13 t_BOILING_OIL_p1_o13) 0)) (?v_407 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l24) 5)) (?v_409 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l24) 5)) (?v_411 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l24) 5)) (?v_413 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l24) 5)) (?v_418 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l34) 5)) (?v_419 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l34) 5)) (?v_420 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l34) 5)) (?v_421 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l34) 5)) (?v_422 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l44) 5)) (?v_423 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l44) 5)) (?v_424 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l44) 5)) (?v_425 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l44) 5)) (?v_426 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l54) 5)) (?v_427 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l54) 5)) (?v_428 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l54) 5)) (?v_429 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l54) 5)) (?v_430 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l64) 5)) (?v_431 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l64) 5)) (?v_432 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l64) 5)) (?v_433 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l64) 5)) (?v_434 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l74) 5)) (?v_435 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l74) 5)) (?v_436 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l74) 5)) (?v_437 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l74) 5)) (?v_438 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l84) 5)) (?v_439 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l84) 5)) (?v_440 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l84) 5)) (?v_441 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l84) 5)) (?v_442 (>= (- t_BOILING_OIL_p2_o12 t_COOKING_LARDON_o1_l94) 5)) (?v_443 (>= (- t_BOILING_OIL_p2_o13 t_COOKING_LARDON_o1_l94) 5)) (?v_444 (>= (- t_BOILING_OIL_p1_o12 t_COOKING_LARDON_o1_l94) 5)) (?v_445 (>= (- t_BOILING_OIL_p1_o13 t_COOKING_LARDON_o1_l94) 5)) (?v_446 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n14) 6)) (?v_447 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n14) 6)) (?v_448 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n14) 6)) (?v_449 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n14) 6)) (?v_642 (- t_BOILING_WATER_p2_w13 t_BOILING_WATER_p2_w12))) (let ((?v_450 (>= ?v_642 0)) (?v_452 (>= (- t_BOILING_WATER_p2_w13 t_BOILING_WATER_p2_w13) 0)) (?v_645 (- t_BOILING_WATER_p2_w13 t_BOILING_WATER_p1_w12))) (let ((?v_454 (>= ?v_645 0)) (?v_652 (- t_BOILING_WATER_p2_w13 t_BOILING_WATER_p1_w13))) (let ((?v_456 (>= ?v_652 0)) (?v_643 (- t_BOILING_WATER_p1_w13 t_BOILING_WATER_p2_w12))) (let ((?v_458 (>= ?v_643 0)) (?v_649 (- t_BOILING_WATER_p1_w13 t_BOILING_WATER_p2_w13))) (let ((?v_459 (>= ?v_649 0)) (?v_646 (- t_BOILING_WATER_p1_w13 t_BOILING_WATER_p1_w12))) (let ((?v_460 (>= ?v_646 0)) (?v_461 (>= (- t_BOILING_WATER_p1_w13 t_BOILING_WATER_p1_w13) 0)) (?v_451 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n24) 6)) (?v_453 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n24) 6)) (?v_455 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n24) 6)) (?v_457 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n24) 6)) (?v_462 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n34) 6)) (?v_463 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n34) 6)) (?v_464 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n34) 6)) (?v_465 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n34) 6)) (?v_466 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n44) 6)) (?v_467 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n44) 6)) (?v_468 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n44) 6)) (?v_469 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n44) 6)) (?v_470 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n54) 6)) (?v_471 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n54) 6)) (?v_472 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n54) 6)) (?v_473 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n54) 6)) (?v_474 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n64) 6)) (?v_475 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n64) 6)) (?v_476 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n64) 6)) (?v_477 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n64) 6)) (?v_478 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n74) 6)) (?v_479 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n74) 6)) (?v_480 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n74) 6)) (?v_481 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n74) 6)) (?v_482 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n84) 6)) (?v_483 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n84) 6)) (?v_484 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n84) 6)) (?v_485 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n84) 6)) (?v_486 (>= (- t_BOILING_WATER_p2_w12 t_COOKING_NOODLES_w1_n94) 6)) (?v_487 (>= (- t_BOILING_WATER_p2_w13 t_COOKING_NOODLES_w1_n94) 6)) (?v_488 (>= (- t_BOILING_WATER_p1_w12 t_COOKING_NOODLES_w1_n94) 6)) (?v_489 (>= (- t_BOILING_WATER_p1_w13 t_COOKING_NOODLES_w1_n94) 6)) (?v_494 (<= ?v_491 8)) (?v_699 (> ?v_492 8)) (?v_495 (<= ?v_493 8)) (?v_701 (- t_COOKING_LARDON_o1_l14 t_COOKING_LARDON_o1_l13))) (let ((?v_700 (> ?v_701 8)) (?v_500 (<= ?v_497 17)) (?v_625 (> ?v_498 16)) (?v_501 (<= ?v_499 17)) (?v_627 (- t_COOKING_NOODLES_w1_n14 t_COOKING_NOODLES_w1_n13))) (let ((?v_626 (> ?v_627 16)) (?v_506 (<= ?v_503 8)) (?v_633 (> ?v_504 8)) (?v_507 (<= ?v_505 8)) (?v_635 (- t_COOKING_LARDON_o1_l24 t_COOKING_LARDON_o1_l23))) (let ((?v_634 (> ?v_635 8)) (?v_512 (<= ?v_509 17)) (?v_665 (> ?v_510 16)) (?v_513 (<= ?v_511 17)) (?v_667 (- t_COOKING_NOODLES_w1_n24 t_COOKING_NOODLES_w1_n23))) (let ((?v_666 (> ?v_667 16)) (?v_518 (<= ?v_515 8)) (?v_675 (> ?v_516 8)) (?v_519 (<= ?v_517 8)) (?v_677 (- t_COOKING_LARDON_o1_l34 t_COOKING_LARDON_o1_l33))) (let ((?v_676 (> ?v_677 8)) (?v_524 (<= ?v_521 17)) (?v_607 (> ?v_522 16)) (?v_525 (<= ?v_523 17)) (?v_609 (- t_COOKING_NOODLES_w1_n34 t_COOKING_NOODLES_w1_n33))) (let ((?v_608 (> ?v_609 16)) (?v_530 (<= ?v_527 8)) (?v_617 (> ?v_528 8)) (?v_531 (<= ?v_529 8)) (?v_619 (- t_COOKING_LARDON_o1_l44 t_COOKING_LARDON_o1_l43))) (let ((?v_618 (> ?v_619 8)) (?v_536 (<= ?v_533 17)) (?v_653 (> ?v_534 16)) (?v_537 (<= ?v_535 17)) (?v_655 (- t_COOKING_NOODLES_w1_n44 t_COOKING_NOODLES_w1_n43))) (let ((?v_654 (> ?v_655 16)) (?v_542 (<= ?v_539 8)) (?v_661 (> ?v_540 8)) (?v_543 (<= ?v_541 8)) (?v_663 (- t_COOKING_LARDON_o1_l54 t_COOKING_LARDON_o1_l53))) (let ((?v_662 (> ?v_663 8)) (?v_548 (<= ?v_545 17)) (?v_695 (> ?v_546 16)) (?v_549 (<= ?v_547 17)) (?v_697 (- t_COOKING_NOODLES_w1_n54 t_COOKING_NOODLES_w1_n53))) (let ((?v_696 (> ?v_697 16)) (?v_554 (<= ?v_551 8)) (?v_703 (> ?v_552 8)) (?v_555 (<= ?v_553 8)) (?v_705 (- t_COOKING_LARDON_o1_l64 t_COOKING_LARDON_o1_l63))) (let ((?v_704 (> ?v_705 8)) (?v_560 (<= ?v_557 17)) (?v_629 (> ?v_558 16)) (?v_561 (<= ?v_559 17)) (?v_631 (- t_COOKING_NOODLES_w1_n64 t_COOKING_NOODLES_w1_n63))) (let ((?v_630 (> ?v_631 16)) (?v_566 (<= ?v_563 8)) (?v_637 (> ?v_564 8)) (?v_567 (<= ?v_565 8)) (?v_639 (- t_COOKING_LARDON_o1_l74 t_COOKING_LARDON_o1_l73))) (let ((?v_638 (> ?v_639 8)) (?v_572 (<= ?v_569 17)) (?v_671 (> ?v_570 16)) (?v_573 (<= ?v_571 17)) (?v_673 (- t_COOKING_NOODLES_w1_n74 t_COOKING_NOODLES_w1_n73))) (let ((?v_672 (> ?v_673 16)) (?v_578 (<= ?v_575 8)) (?v_679 (> ?v_576 8)) (?v_579 (<= ?v_577 8)) (?v_681 (- t_COOKING_LARDON_o1_l84 t_COOKING_LARDON_o1_l83))) (let ((?v_680 (> ?v_681 8)) (?v_584 (<= ?v_581 17)) (?v_613 (> ?v_582 16)) (?v_585 (<= ?v_583 17)) (?v_615 (- t_COOKING_NOODLES_w1_n84 t_COOKING_NOODLES_w1_n83))) (let ((?v_614 (> ?v_615 16)) (?v_590 (<= ?v_587 8)) (?v_621 (> ?v_588 8)) (?v_591 (<= ?v_589 8)) (?v_623 (- t_COOKING_LARDON_o1_l94 t_COOKING_LARDON_o1_l93))) (let ((?v_622 (> ?v_623 8)) (?v_596 (<= ?v_593 17)) (?v_657 (> ?v_594 16)) (?v_597 (<= ?v_595 17)) (?v_659 (- t_COOKING_NOODLES_w1_n94 t_COOKING_NOODLES_w1_n93))) (let ((?v_658 (> ?v_659 16)) (?v_707 (not BREAKING_EGGS_e11)) (?v_708 (not BREAKING_EGGS_e21)) (?v_709 (not BREAKING_EGGS_e31)) (?v_710 (not BREAKING_EGGS_e41)) (?v_711 (not BREAKING_EGGS_e51)) (?v_712 (not BREAKING_EGGS_e61)) (?v_713 (not BREAKING_EGGS_e71)) (?v_714 (not BREAKING_EGGS_e81)) (?v_715 (not BREAKING_EGGS_e91)) (?v_716 (not BREAKING_EGGS_e12)) (?v_717 (not BREAKING_EGGS_e22)) (?v_718 (not BREAKING_EGGS_e32)) (?v_719 (not BREAKING_EGGS_e42)) (?v_720 (not BREAKING_EGGS_e52)) (?v_721 (not BREAKING_EGGS_e62)) (?v_722 (not BREAKING_EGGS_e72)) (?v_723 (not BREAKING_EGGS_e82)) (?v_724 (not BREAKING_EGGS_e92)) (?v_725 (not BREAKING_EGGS_e13)) (?v_726 (not BREAKING_EGGS_e23)) (?v_727 (not BREAKING_EGGS_e33)) (?v_728 (not BREAKING_EGGS_e43)) (?v_729 (not BREAKING_EGGS_e53)) (?v_730 (not BREAKING_EGGS_e63)) (?v_731 (not BREAKING_EGGS_e73)) (?v_732 (not BREAKING_EGGS_e83)) (?v_733 (not BREAKING_EGGS_e93))) (and Init Goal (or ?v_252 Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_OIL_p1_o12) (or ?v_250 Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_OIL_p2_o12) (or ?v_300 Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_WATER_p1_w12) (or ?v_298 Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_WATER_p2_w12) (or ?v_366 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l13 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l13) (or ?v_370 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l23 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l23) (or ?v_374 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l33 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l33) (or ?v_378 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l43 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l43) (or ?v_382 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l53 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l53) (or ?v_386 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l63 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l63) (or ?v_390 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l73 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l73) (or ?v_394 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l83 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l83) (or ?v_398 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l93 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l93) (or ?v_368 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n13 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n13) (or ?v_372 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n23 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n23) (or ?v_376 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n33 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n33) (or ?v_380 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n43 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n43) (or ?v_384 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n53 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n53) (or ?v_388 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n63 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n63) (or ?v_392 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n73 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n73) (or ?v_396 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n83 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n83) (or ?v_400 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n93 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n93) (or ?v_253 Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_OIL_p1_o13 Link_FIRE_COOKING_PLATE_p12.ready_p1.BOILING_OIL_p1_o13) (or ?v_251 Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_OIL_p2_o13 Link_FIRE_COOKING_PLATE_p22.ready_p2.BOILING_OIL_p2_o13) (or ?v_301 Link_FIRE_COOKING_PLATE_p11.ready_p1.BOILING_WATER_p1_w13 Link_FIRE_COOKING_PLATE_p12.ready_p1.BOILING_WATER_p1_w13) (or ?v_299 Link_FIRE_COOKING_PLATE_p21.ready_p2.BOILING_WATER_p2_w13 Link_FIRE_COOKING_PLATE_p22.ready_p2.BOILING_WATER_p2_w13) (or ?v_0 Link_BREAKING_EGGS_e11.ready_e1.COOKING_CARBONARA_n1_l1_e14 Link_BREAKING_EGGS_e12.ready_e1.COOKING_CARBONARA_n1_l1_e14 Link_BREAKING_EGGS_e13.ready_e1.COOKING_CARBONARA_n1_l1_e14) (or ?v_0 Link_COOKING_LARDON_o1_l13.cooked_l1.COOKING_CARBONARA_n1_l1_e14) (or ?v_0 Link_COOKING_NOODLES_w1_n13.cooked_n1.COOKING_CARBONARA_n1_l1_e14) (or ?v_1 Link_BREAKING_EGGS_e21.ready_e2.COOKING_CARBONARA_n2_l2_e24 Link_BREAKING_EGGS_e22.ready_e2.COOKING_CARBONARA_n2_l2_e24 Link_BREAKING_EGGS_e23.ready_e2.COOKING_CARBONARA_n2_l2_e24) (or ?v_1 Link_COOKING_LARDON_o1_l23.cooked_l2.COOKING_CARBONARA_n2_l2_e24) (or ?v_1 Link_COOKING_NOODLES_w1_n23.cooked_n2.COOKING_CARBONARA_n2_l2_e24) (or ?v_2 Link_BREAKING_EGGS_e31.ready_e3.COOKING_CARBONARA_n3_l3_e34 Link_BREAKING_EGGS_e32.ready_e3.COOKING_CARBONARA_n3_l3_e34 Link_BREAKING_EGGS_e33.ready_e3.COOKING_CARBONARA_n3_l3_e34) (or ?v_2 Link_COOKING_LARDON_o1_l33.cooked_l3.COOKING_CARBONARA_n3_l3_e34) (or ?v_2 Link_COOKING_NOODLES_w1_n33.cooked_n3.COOKING_CARBONARA_n3_l3_e34) (or ?v_3 Link_BREAKING_EGGS_e41.ready_e4.COOKING_CARBONARA_n4_l4_e44 Link_BREAKING_EGGS_e42.ready_e4.COOKING_CARBONARA_n4_l4_e44 Link_BREAKING_EGGS_e43.ready_e4.COOKING_CARBONARA_n4_l4_e44) (or ?v_3 Link_COOKING_LARDON_o1_l43.cooked_l4.COOKING_CARBONARA_n4_l4_e44) (or ?v_3 Link_COOKING_NOODLES_w1_n43.cooked_n4.COOKING_CARBONARA_n4_l4_e44) (or ?v_4 Link_BREAKING_EGGS_e51.ready_e5.COOKING_CARBONARA_n5_l5_e54 Link_BREAKING_EGGS_e52.ready_e5.COOKING_CARBONARA_n5_l5_e54 Link_BREAKING_EGGS_e53.ready_e5.COOKING_CARBONARA_n5_l5_e54) (or ?v_4 Link_COOKING_LARDON_o1_l53.cooked_l5.COOKING_CARBONARA_n5_l5_e54) (or ?v_4 Link_COOKING_NOODLES_w1_n53.cooked_n5.COOKING_CARBONARA_n5_l5_e54) (or ?v_5 Link_BREAKING_EGGS_e61.ready_e6.COOKING_CARBONARA_n6_l6_e64 Link_BREAKING_EGGS_e62.ready_e6.COOKING_CARBONARA_n6_l6_e64 Link_BREAKING_EGGS_e63.ready_e6.COOKING_CARBONARA_n6_l6_e64) (or ?v_5 Link_COOKING_LARDON_o1_l63.cooked_l6.COOKING_CARBONARA_n6_l6_e64) (or ?v_5 Link_COOKING_NOODLES_w1_n63.cooked_n6.COOKING_CARBONARA_n6_l6_e64) (or ?v_6 Link_BREAKING_EGGS_e71.ready_e7.COOKING_CARBONARA_n7_l7_e74 Link_BREAKING_EGGS_e72.ready_e7.COOKING_CARBONARA_n7_l7_e74 Link_BREAKING_EGGS_e73.ready_e7.COOKING_CARBONARA_n7_l7_e74) (or ?v_6 Link_COOKING_LARDON_o1_l73.cooked_l7.COOKING_CARBONARA_n7_l7_e74) (or ?v_6 Link_COOKING_NOODLES_w1_n73.cooked_n7.COOKING_CARBONARA_n7_l7_e74) (or ?v_7 Link_BREAKING_EGGS_e81.ready_e8.COOKING_CARBONARA_n8_l8_e84 Link_BREAKING_EGGS_e82.ready_e8.COOKING_CARBONARA_n8_l8_e84 Link_BREAKING_EGGS_e83.ready_e8.COOKING_CARBONARA_n8_l8_e84) (or ?v_7 Link_COOKING_LARDON_o1_l83.cooked_l8.COOKING_CARBONARA_n8_l8_e84) (or ?v_7 Link_COOKING_NOODLES_w1_n83.cooked_n8.COOKING_CARBONARA_n8_l8_e84) (or ?v_8 Link_BREAKING_EGGS_e91.ready_e9.COOKING_CARBONARA_n9_l9_e94 Link_BREAKING_EGGS_e92.ready_e9.COOKING_CARBONARA_n9_l9_e94 Link_BREAKING_EGGS_e93.ready_e9.COOKING_CARBONARA_n9_l9_e94) (or ?v_8 Link_COOKING_LARDON_o1_l93.cooked_l9.COOKING_CARBONARA_n9_l9_e94) (or ?v_8 Link_COOKING_NOODLES_w1_n93.cooked_n9.COOKING_CARBONARA_n9_l9_e94) (or ?v_367 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l14 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l14 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l14 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l14) (or ?v_371 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l24 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l24 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l24 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l24) (or ?v_375 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l34 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l34 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l34 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l34) (or ?v_379 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l44 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l44 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l44 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l44) (or ?v_383 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l54 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l54 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l54 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l54) (or ?v_387 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l64 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l64 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l64 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l64) (or ?v_391 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l74 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l74 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l74 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l74) (or ?v_395 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l84 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l84 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l84 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l84) (or ?v_399 Link_BOILING_OIL_p2_o12.hot_oil_o1.COOKING_LARDON_o1_l94 Link_BOILING_OIL_p2_o13.hot_oil_o1.COOKING_LARDON_o1_l94 Link_BOILING_OIL_p1_o12.hot_oil_o1.COOKING_LARDON_o1_l94 Link_BOILING_OIL_p1_o13.hot_oil_o1.COOKING_LARDON_o1_l94) (or ?v_369 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n14 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n14 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n14 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n14) (or ?v_373 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n24 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n24 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n24 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n24) (or ?v_377 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n34 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n34 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n34 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n34) (or ?v_381 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n44 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n44 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n44 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n44) (or ?v_385 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n54 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n54 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n54 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n54) (or ?v_389 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n64 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n64 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n64 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n64) (or ?v_393 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n74 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n74 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n74 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n74) (or ?v_397 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n84 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n84 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n84 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n84) (or ?v_401 Link_BOILING_WATER_p2_w12.hot_water_w1.COOKING_NOODLES_w1_n94 Link_BOILING_WATER_p2_w13.hot_water_w1.COOKING_NOODLES_w1_n94 Link_BOILING_WATER_p1_w12.hot_water_w1.COOKING_NOODLES_w1_n94 Link_BOILING_WATER_p1_w13.hot_water_w1.COOKING_NOODLES_w1_n94) (or ?v_9 Link_COOKING_LARDON_o1_l13.hot_l1.EATING_CARBONARA_n1_l1_e15 Link_COOKING_LARDON_o1_l14.hot_l1.EATING_CARBONARA_n1_l1_e15) (or ?v_9 Link_COOKING_NOODLES_w1_n13.hot_n1.EATING_CARBONARA_n1_l1_e15 Link_COOKING_NOODLES_w1_n14.hot_n1.EATING_CARBONARA_n1_l1_e15) (or ?v_9 Link_COOKING_CARBONARA_n1_l1_e14.mixed3_n1_l1_e1.EATING_CARBONARA_n1_l1_e15) (or ?v_10 Link_COOKING_LARDON_o1_l23.hot_l2.EATING_CARBONARA_n2_l2_e25 Link_COOKING_LARDON_o1_l24.hot_l2.EATING_CARBONARA_n2_l2_e25) (or ?v_10 Link_COOKING_NOODLES_w1_n23.hot_n2.EATING_CARBONARA_n2_l2_e25 Link_COOKING_NOODLES_w1_n24.hot_n2.EATING_CARBONARA_n2_l2_e25) (or ?v_10 Link_COOKING_CARBONARA_n2_l2_e24.mixed3_n2_l2_e2.EATING_CARBONARA_n2_l2_e25) (or ?v_11 Link_COOKING_LARDON_o1_l33.hot_l3.EATING_CARBONARA_n3_l3_e35 Link_COOKING_LARDON_o1_l34.hot_l3.EATING_CARBONARA_n3_l3_e35) (or ?v_11 Link_COOKING_NOODLES_w1_n33.hot_n3.EATING_CARBONARA_n3_l3_e35 Link_COOKING_NOODLES_w1_n34.hot_n3.EATING_CARBONARA_n3_l3_e35) (or ?v_11 Link_COOKING_CARBONARA_n3_l3_e34.mixed3_n3_l3_e3.EATING_CARBONARA_n3_l3_e35) (or ?v_12 Link_COOKING_LARDON_o1_l43.hot_l4.EATING_CARBONARA_n4_l4_e45 Link_COOKING_LARDON_o1_l44.hot_l4.EATING_CARBONARA_n4_l4_e45) (or ?v_12 Link_COOKING_NOODLES_w1_n43.hot_n4.EATING_CARBONARA_n4_l4_e45 Link_COOKING_NOODLES_w1_n44.hot_n4.EATING_CARBONARA_n4_l4_e45) (or ?v_12 Link_COOKING_CARBONARA_n4_l4_e44.mixed3_n4_l4_e4.EATING_CARBONARA_n4_l4_e45) (or ?v_13 Link_COOKING_LARDON_o1_l53.hot_l5.EATING_CARBONARA_n5_l5_e55 Link_COOKING_LARDON_o1_l54.hot_l5.EATING_CARBONARA_n5_l5_e55) (or ?v_13 Link_COOKING_NOODLES_w1_n53.hot_n5.EATING_CARBONARA_n5_l5_e55 Link_COOKING_NOODLES_w1_n54.hot_n5.EATING_CARBONARA_n5_l5_e55) (or ?v_13 Link_COOKING_CARBONARA_n5_l5_e54.mixed3_n5_l5_e5.EATING_CARBONARA_n5_l5_e55) (or ?v_14 Link_COOKING_LARDON_o1_l63.hot_l6.EATING_CARBONARA_n6_l6_e65 Link_COOKING_LARDON_o1_l64.hot_l6.EATING_CARBONARA_n6_l6_e65) (or ?v_14 Link_COOKING_NOODLES_w1_n63.hot_n6.EATING_CARBONARA_n6_l6_e65 Link_COOKING_NOODLES_w1_n64.hot_n6.EATING_CARBONARA_n6_l6_e65) (or ?v_14 Link_COOKING_CARBONARA_n6_l6_e64.mixed3_n6_l6_e6.EATING_CARBONARA_n6_l6_e65) (or ?v_15 Link_COOKING_LARDON_o1_l73.hot_l7.EATING_CARBONARA_n7_l7_e75 Link_COOKING_LARDON_o1_l74.hot_l7.EATING_CARBONARA_n7_l7_e75) (or ?v_15 Link_COOKING_NOODLES_w1_n73.hot_n7.EATING_CARBONARA_n7_l7_e75 Link_COOKING_NOODLES_w1_n74.hot_n7.EATING_CARBONARA_n7_l7_e75) (or ?v_15 Link_COOKING_CARBONARA_n7_l7_e74.mixed3_n7_l7_e7.EATING_CARBONARA_n7_l7_e75) (or ?v_16 Link_COOKING_LARDON_o1_l83.hot_l8.EATING_CARBONARA_n8_l8_e85 Link_COOKING_LARDON_o1_l84.hot_l8.EATING_CARBONARA_n8_l8_e85) (or ?v_16 Link_COOKING_NOODLES_w1_n83.hot_n8.EATING_CARBONARA_n8_l8_e85 Link_COOKING_NOODLES_w1_n84.hot_n8.EATING_CARBONARA_n8_l8_e85) (or ?v_16 Link_COOKING_CARBONARA_n8_l8_e84.mixed3_n8_l8_e8.EATING_CARBONARA_n8_l8_e85) (or ?v_17 Link_COOKING_LARDON_o1_l93.hot_l9.EATING_CARBONARA_n9_l9_e95 Link_COOKING_LARDON_o1_l94.hot_l9.EATING_CARBONARA_n9_l9_e95) (or ?v_17 Link_COOKING_NOODLES_w1_n93.hot_n9.EATING_CARBONARA_n9_l9_e95 Link_COOKING_NOODLES_w1_n94.hot_n9.EATING_CARBONARA_n9_l9_e95) (or ?v_17 Link_COOKING_CARBONARA_n9_l9_e94.mixed3_n9_l9_e9.EATING_CARBONARA_n9_l9_e95) (or ?v_18 Link_EATING_CARBONARA_n1_l1_e15.eaten_carbonara_n1_l1_e1.Goal) (or ?v_18 Link_EATING_CARBONARA_n2_l2_e25.eaten_carbonara_n2_l2_e2.Goal) (or ?v_18 Link_EATING_CARBONARA_n3_l3_e35.eaten_carbonara_n3_l3_e3.Goal) (or ?v_18 Link_EATING_CARBONARA_n4_l4_e45.eaten_carbonara_n4_l4_e4.Goal) (or ?v_18 Link_EATING_CARBONARA_n5_l5_e55.eaten_carbonara_n5_l5_e5.Goal) (or ?v_18 Link_EATING_CARBONARA_n6_l6_e65.eaten_carbonara_n6_l6_e6.Goal) (or ?v_18 Link_EATING_CARBONARA_n7_l7_e75.eaten_carbonara_n7_l7_e7.Goal) (or ?v_18 Link_EATING_CARBONARA_n8_l8_e85.eaten_carbonara_n8_l8_e8.Goal) (or ?v_18 Link_EATING_CARBONARA_n9_l9_e95.eaten_carbonara_n9_l9_e9.Goal) (or ?v_19 FIRE_COOKING_PLATE_p11) (or ?v_19 BOILING_OIL_p1_o12) (or ?v_19 (>= ?v_238 1)) (or ?v_20 FIRE_COOKING_PLATE_p21) (or ?v_20 BOILING_OIL_p2_o12) (or ?v_20 (>= ?v_239 1)) (or ?v_21 FIRE_COOKING_PLATE_p11) (or ?v_21 BOILING_WATER_p1_w12) (or ?v_21 (>= ?v_242 1)) (or ?v_22 FIRE_COOKING_PLATE_p21) (or ?v_22 BOILING_WATER_p2_w12) (or ?v_22 (>= ?v_247 1)) (or ?v_23 BOILING_OIL_p2_o12) (or ?v_23 COOKING_LARDON_o1_l13) (or ?v_23 (>= (- t_COOKING_LARDON_o1_l13 t_BOILING_OIL_p2_o12) 2)) (or ?v_24 BOILING_OIL_p1_o12) (or ?v_24 COOKING_LARDON_o1_l13) (or ?v_24 (>= (- t_COOKING_LARDON_o1_l13 t_BOILING_OIL_p1_o12) 2)) (or ?v_25 BOILING_OIL_p2_o12) (or ?v_25 COOKING_LARDON_o1_l23) (or ?v_25 (>= (- t_COOKING_LARDON_o1_l23 t_BOILING_OIL_p2_o12) 2)) (or ?v_26 BOILING_OIL_p1_o12) (or ?v_26 COOKING_LARDON_o1_l23) (or ?v_26 (>= (- t_COOKING_LARDON_o1_l23 t_BOILING_OIL_p1_o12) 2)) (or ?v_27 BOILING_OIL_p2_o12) (or ?v_27 COOKING_LARDON_o1_l33) (or ?v_27 (>= (- t_COOKING_LARDON_o1_l33 t_BOILING_OIL_p2_o12) 2)) (or ?v_28 BOILING_OIL_p1_o12) (or ?v_28 COOKING_LARDON_o1_l33) (or ?v_28 (>= (- t_COOKING_LARDON_o1_l33 t_BOILING_OIL_p1_o12) 2)) (or ?v_29 BOILING_OIL_p2_o12) (or ?v_29 COOKING_LARDON_o1_l43) (or ?v_29 (>= (- t_COOKING_LARDON_o1_l43 t_BOILING_OIL_p2_o12) 2)) (or ?v_30 BOILING_OIL_p1_o12) (or ?v_30 COOKING_LARDON_o1_l43) (or ?v_30 (>= (- t_COOKING_LARDON_o1_l43 t_BOILING_OIL_p1_o12) 2)) (or ?v_31 BOILING_OIL_p2_o12) (or ?v_31 COOKING_LARDON_o1_l53) (or ?v_31 (>= (- t_COOKING_LARDON_o1_l53 t_BOILING_OIL_p2_o12) 2)) (or ?v_32 BOILING_OIL_p1_o12) (or ?v_32 COOKING_LARDON_o1_l53) (or ?v_32 (>= (- t_COOKING_LARDON_o1_l53 t_BOILING_OIL_p1_o12) 2)) (or ?v_33 BOILING_OIL_p2_o12) (or ?v_33 COOKING_LARDON_o1_l63) (or ?v_33 (>= (- t_COOKING_LARDON_o1_l63 t_BOILING_OIL_p2_o12) 2)) (or ?v_34 BOILING_OIL_p1_o12) (or ?v_34 COOKING_LARDON_o1_l63) (or ?v_34 (>= (- t_COOKING_LARDON_o1_l63 t_BOILING_OIL_p1_o12) 2)) (or ?v_35 BOILING_OIL_p2_o12) (or ?v_35 COOKING_LARDON_o1_l73) (or ?v_35 (>= (- t_COOKING_LARDON_o1_l73 t_BOILING_OIL_p2_o12) 2)) (or ?v_36 BOILING_OIL_p1_o12) (or ?v_36 COOKING_LARDON_o1_l73) (or ?v_36 (>= (- t_COOKING_LARDON_o1_l73 t_BOILING_OIL_p1_o12) 2)) (or ?v_37 BOILING_OIL_p2_o12) (or ?v_37 COOKING_LARDON_o1_l83) (or ?v_37 (>= (- t_COOKING_LARDON_o1_l83 t_BOILING_OIL_p2_o12) 2)) (or ?v_38 BOILING_OIL_p1_o12) (or ?v_38 COOKING_LARDON_o1_l83) (or ?v_38 (>= (- t_COOKING_LARDON_o1_l83 t_BOILING_OIL_p1_o12) 2)) (or ?v_39 BOILING_OIL_p2_o12) (or ?v_39 COOKING_LARDON_o1_l93) (or ?v_39 (>= (- t_COOKING_LARDON_o1_l93 t_BOILING_OIL_p2_o12) 2)) (or ?v_40 BOILING_OIL_p1_o12) (or ?v_40 COOKING_LARDON_o1_l93) (or ?v_40 (>= (- t_COOKING_LARDON_o1_l93 t_BOILING_OIL_p1_o12) 2)) (or ?v_41 BOILING_WATER_p2_w12) (or ?v_41 COOKING_NOODLES_w1_n13) (or ?v_41 (>= (- t_COOKING_NOODLES_w1_n13 t_BOILING_WATER_p2_w12) 2)) (or ?v_42 BOILING_WATER_p1_w12) (or ?v_42 COOKING_NOODLES_w1_n13) (or ?v_42 (>= (- t_COOKING_NOODLES_w1_n13 t_BOILING_WATER_p1_w12) 2)) (or ?v_43 BOILING_WATER_p2_w12) (or ?v_43 COOKING_NOODLES_w1_n23) (or ?v_43 (>= (- t_COOKING_NOODLES_w1_n23 t_BOILING_WATER_p2_w12) 2)) (or ?v_44 BOILING_WATER_p1_w12) (or ?v_44 COOKING_NOODLES_w1_n23) (or ?v_44 (>= (- t_COOKING_NOODLES_w1_n23 t_BOILING_WATER_p1_w12) 2)) (or ?v_45 BOILING_WATER_p2_w12) (or ?v_45 COOKING_NOODLES_w1_n33) (or ?v_45 (>= (- t_COOKING_NOODLES_w1_n33 t_BOILING_WATER_p2_w12) 2)) (or ?v_46 BOILING_WATER_p1_w12) (or ?v_46 COOKING_NOODLES_w1_n33) (or ?v_46 (>= (- t_COOKING_NOODLES_w1_n33 t_BOILING_WATER_p1_w12) 2)) (or ?v_47 BOILING_WATER_p2_w12) (or ?v_47 COOKING_NOODLES_w1_n43) (or ?v_47 (>= (- t_COOKING_NOODLES_w1_n43 t_BOILING_WATER_p2_w12) 2)) (or ?v_48 BOILING_WATER_p1_w12) (or ?v_48 COOKING_NOODLES_w1_n43) (or ?v_48 (>= (- t_COOKING_NOODLES_w1_n43 t_BOILING_WATER_p1_w12) 2)) (or ?v_49 BOILING_WATER_p2_w12) (or ?v_49 COOKING_NOODLES_w1_n53) (or ?v_49 (>= (- t_COOKING_NOODLES_w1_n53 t_BOILING_WATER_p2_w12) 2)) (or ?v_50 BOILING_WATER_p1_w12) (or ?v_50 COOKING_NOODLES_w1_n53) (or ?v_50 (>= (- t_COOKING_NOODLES_w1_n53 t_BOILING_WATER_p1_w12) 2)) (or ?v_51 BOILING_WATER_p2_w12) (or ?v_51 COOKING_NOODLES_w1_n63) (or ?v_51 (>= (- t_COOKING_NOODLES_w1_n63 t_BOILING_WATER_p2_w12) 2)) (or ?v_52 BOILING_WATER_p1_w12) (or ?v_52 COOKING_NOODLES_w1_n63) (or ?v_52 (>= (- t_COOKING_NOODLES_w1_n63 t_BOILING_WATER_p1_w12) 2)) (or ?v_53 BOILING_WATER_p2_w12) (or ?v_53 COOKING_NOODLES_w1_n73) (or ?v_53 (>= (- t_COOKING_NOODLES_w1_n73 t_BOILING_WATER_p2_w12) 2)) (or ?v_54 BOILING_WATER_p1_w12) (or ?v_54 COOKING_NOODLES_w1_n73) (or ?v_54 (>= (- t_COOKING_NOODLES_w1_n73 t_BOILING_WATER_p1_w12) 2)) (or ?v_55 BOILING_WATER_p2_w12) (or ?v_55 COOKING_NOODLES_w1_n83) (or ?v_55 (>= (- t_COOKING_NOODLES_w1_n83 t_BOILING_WATER_p2_w12) 2)) (or ?v_56 BOILING_WATER_p1_w12) (or ?v_56 COOKING_NOODLES_w1_n83) (or ?v_56 (>= (- t_COOKING_NOODLES_w1_n83 t_BOILING_WATER_p1_w12) 2)) (or ?v_57 BOILING_WATER_p2_w12) (or ?v_57 COOKING_NOODLES_w1_n93) (or ?v_57 (>= (- t_COOKING_NOODLES_w1_n93 t_BOILING_WATER_p2_w12) 2)) (or ?v_58 BOILING_WATER_p1_w12) (or ?v_58 COOKING_NOODLES_w1_n93) (or ?v_58 (>= (- t_COOKING_NOODLES_w1_n93 t_BOILING_WATER_p1_w12) 2)) (or ?v_59 FIRE_COOKING_PLATE_p11) (or ?v_59 BOILING_OIL_p1_o13) (or ?v_59 (>= ?v_346 1)) (or ?v_60 FIRE_COOKING_PLATE_p12) (or ?v_60 BOILING_OIL_p1_o13) (or ?v_60 (>= ?v_347 1)) (or ?v_61 FIRE_COOKING_PLATE_p21) (or ?v_61 BOILING_OIL_p2_o13) (or ?v_61 (>= ?v_350 1)) (or ?v_62 FIRE_COOKING_PLATE_p22) (or ?v_62 BOILING_OIL_p2_o13) (or ?v_62 (>= ?v_351 1)) (or ?v_63 FIRE_COOKING_PLATE_p11) (or ?v_63 BOILING_WATER_p1_w13) (or ?v_63 (>= ?v_354 1)) (or ?v_64 FIRE_COOKING_PLATE_p12) (or ?v_64 BOILING_WATER_p1_w13) (or ?v_64 (>= ?v_355 1)) (or ?v_65 FIRE_COOKING_PLATE_p21) (or ?v_65 BOILING_WATER_p2_w13) (or ?v_65 (>= ?v_360 1)) (or ?v_66 FIRE_COOKING_PLATE_p22) (or ?v_66 BOILING_WATER_p2_w13) (or ?v_66 (>= ?v_361 1)) (or ?v_67 BREAKING_EGGS_e11) (or ?v_67 COOKING_CARBONARA_n1_l1_e14) (or ?v_67 (>= (- t_COOKING_CARBONARA_n1_l1_e14 t_BREAKING_EGGS_e11) 2)) (or ?v_68 BREAKING_EGGS_e12) (or ?v_68 COOKING_CARBONARA_n1_l1_e14) (or ?v_68 (>= (- t_COOKING_CARBONARA_n1_l1_e14 t_BREAKING_EGGS_e12) 2)) (or ?v_69 BREAKING_EGGS_e13) (or ?v_69 COOKING_CARBONARA_n1_l1_e14) (or ?v_69 (>= (- t_COOKING_CARBONARA_n1_l1_e14 t_BREAKING_EGGS_e13) 2)) (or ?v_70 COOKING_LARDON_o1_l13) (or ?v_70 COOKING_CARBONARA_n1_l1_e14) (or ?v_70 (>= (- t_COOKING_CARBONARA_n1_l1_e14 t_COOKING_LARDON_o1_l13) 5)) (or ?v_71 COOKING_NOODLES_w1_n13) (or ?v_71 COOKING_CARBONARA_n1_l1_e14) (or ?v_71 (>= (- t_COOKING_CARBONARA_n1_l1_e14 t_COOKING_NOODLES_w1_n13) 6)) (or ?v_72 BREAKING_EGGS_e21) (or ?v_72 COOKING_CARBONARA_n2_l2_e24) (or ?v_72 (>= (- t_COOKING_CARBONARA_n2_l2_e24 t_BREAKING_EGGS_e21) 2)) (or ?v_73 BREAKING_EGGS_e22) (or ?v_73 COOKING_CARBONARA_n2_l2_e24) (or ?v_73 (>= (- t_COOKING_CARBONARA_n2_l2_e24 t_BREAKING_EGGS_e22) 2)) (or ?v_74 BREAKING_EGGS_e23) (or ?v_74 COOKING_CARBONARA_n2_l2_e24) (or ?v_74 (>= (- t_COOKING_CARBONARA_n2_l2_e24 t_BREAKING_EGGS_e23) 2)) (or ?v_75 COOKING_LARDON_o1_l23) (or ?v_75 COOKING_CARBONARA_n2_l2_e24) (or ?v_75 (>= (- t_COOKING_CARBONARA_n2_l2_e24 t_COOKING_LARDON_o1_l23) 5)) (or ?v_76 COOKING_NOODLES_w1_n23) (or ?v_76 COOKING_CARBONARA_n2_l2_e24) (or ?v_76 (>= (- t_COOKING_CARBONARA_n2_l2_e24 t_COOKING_NOODLES_w1_n23) 6)) (or ?v_77 BREAKING_EGGS_e31) (or ?v_77 COOKING_CARBONARA_n3_l3_e34) (or ?v_77 (>= (- t_COOKING_CARBONARA_n3_l3_e34 t_BREAKING_EGGS_e31) 2)) (or ?v_78 BREAKING_EGGS_e32) (or ?v_78 COOKING_CARBONARA_n3_l3_e34) (or ?v_78 (>= (- t_COOKING_CARBONARA_n3_l3_e34 t_BREAKING_EGGS_e32) 2)) (or ?v_79 BREAKING_EGGS_e33) (or ?v_79 COOKING_CARBONARA_n3_l3_e34) (or ?v_79 (>= (- t_COOKING_CARBONARA_n3_l3_e34 t_BREAKING_EGGS_e33) 2)) (or ?v_80 COOKING_LARDON_o1_l33) (or ?v_80 COOKING_CARBONARA_n3_l3_e34) (or ?v_80 (>= (- t_COOKING_CARBONARA_n3_l3_e34 t_COOKING_LARDON_o1_l33) 5)) (or ?v_81 COOKING_NOODLES_w1_n33) (or ?v_81 COOKING_CARBONARA_n3_l3_e34) (or ?v_81 (>= (- t_COOKING_CARBONARA_n3_l3_e34 t_COOKING_NOODLES_w1_n33) 6)) (or ?v_82 BREAKING_EGGS_e41) (or ?v_82 COOKING_CARBONARA_n4_l4_e44) (or ?v_82 (>= (- t_COOKING_CARBONARA_n4_l4_e44 t_BREAKING_EGGS_e41) 2)) (or ?v_83 BREAKING_EGGS_e42) (or ?v_83 COOKING_CARBONARA_n4_l4_e44) (or ?v_83 (>= (- t_COOKING_CARBONARA_n4_l4_e44 t_BREAKING_EGGS_e42) 2)) (or ?v_84 BREAKING_EGGS_e43) (or ?v_84 COOKING_CARBONARA_n4_l4_e44) (or ?v_84 (>= (- t_COOKING_CARBONARA_n4_l4_e44 t_BREAKING_EGGS_e43) 2)) (or ?v_85 COOKING_LARDON_o1_l43) (or ?v_85 COOKING_CARBONARA_n4_l4_e44) (or ?v_85 (>= (- t_COOKING_CARBONARA_n4_l4_e44 t_COOKING_LARDON_o1_l43) 5)) (or ?v_86 COOKING_NOODLES_w1_n43) (or ?v_86 COOKING_CARBONARA_n4_l4_e44) (or ?v_86 (>= (- t_COOKING_CARBONARA_n4_l4_e44 t_COOKING_NOODLES_w1_n43) 6)) (or ?v_87 BREAKING_EGGS_e51) (or ?v_87 COOKING_CARBONARA_n5_l5_e54) (or ?v_87 (>= (- t_COOKING_CARBONARA_n5_l5_e54 t_BREAKING_EGGS_e51) 2)) (or ?v_88 BREAKING_EGGS_e52) (or ?v_88 COOKING_CARBONARA_n5_l5_e54) (or ?v_88 (>= (- t_COOKING_CARBONARA_n5_l5_e54 t_BREAKING_EGGS_e52) 2)) (or ?v_89 BREAKING_EGGS_e53) (or ?v_89 COOKING_CARBONARA_n5_l5_e54) (or ?v_89 (>= (- t_COOKING_CARBONARA_n5_l5_e54 t_BREAKING_EGGS_e53) 2)) (or ?v_90 COOKING_LARDON_o1_l53) (or ?v_90 COOKING_CARBONARA_n5_l5_e54) (or ?v_90 (>= (- t_COOKING_CARBONARA_n5_l5_e54 t_COOKING_LARDON_o1_l53) 5)) (or ?v_91 COOKING_NOODLES_w1_n53) (or ?v_91 COOKING_CARBONARA_n5_l5_e54) (or ?v_91 (>= (- t_COOKING_CARBONARA_n5_l5_e54 t_COOKING_NOODLES_w1_n53) 6)) (or ?v_92 BREAKING_EGGS_e61) (or ?v_92 COOKING_CARBONARA_n6_l6_e64) (or ?v_92 (>= (- t_COOKING_CARBONARA_n6_l6_e64 t_BREAKING_EGGS_e61) 2)) (or ?v_93 BREAKING_EGGS_e62) (or ?v_93 COOKING_CARBONARA_n6_l6_e64) (or ?v_93 (>= (- t_COOKING_CARBONARA_n6_l6_e64 t_BREAKING_EGGS_e62) 2)) (or ?v_94 BREAKING_EGGS_e63) (or ?v_94 COOKING_CARBONARA_n6_l6_e64) (or ?v_94 (>= (- t_COOKING_CARBONARA_n6_l6_e64 t_BREAKING_EGGS_e63) 2)) (or ?v_95 COOKING_LARDON_o1_l63) (or ?v_95 COOKING_CARBONARA_n6_l6_e64) (or ?v_95 (>= (- t_COOKING_CARBONARA_n6_l6_e64 t_COOKING_LARDON_o1_l63) 5)) (or ?v_96 COOKING_NOODLES_w1_n63) (or ?v_96 COOKING_CARBONARA_n6_l6_e64) (or ?v_96 (>= (- t_COOKING_CARBONARA_n6_l6_e64 t_COOKING_NOODLES_w1_n63) 6)) (or ?v_97 BREAKING_EGGS_e71) (or ?v_97 COOKING_CARBONARA_n7_l7_e74) (or ?v_97 (>= (- t_COOKING_CARBONARA_n7_l7_e74 t_BREAKING_EGGS_e71) 2)) (or ?v_98 BREAKING_EGGS_e72) (or ?v_98 COOKING_CARBONARA_n7_l7_e74) (or ?v_98 (>= (- t_COOKING_CARBONARA_n7_l7_e74 t_BREAKING_EGGS_e72) 2)) (or ?v_99 BREAKING_EGGS_e73) (or ?v_99 COOKING_CARBONARA_n7_l7_e74) (or ?v_99 (>= (- t_COOKING_CARBONARA_n7_l7_e74 t_BREAKING_EGGS_e73) 2)) (or ?v_100 COOKING_LARDON_o1_l73) (or ?v_100 COOKING_CARBONARA_n7_l7_e74) (or ?v_100 (>= (- t_COOKING_CARBONARA_n7_l7_e74 t_COOKING_LARDON_o1_l73) 5)) (or ?v_101 COOKING_NOODLES_w1_n73) (or ?v_101 COOKING_CARBONARA_n7_l7_e74) (or ?v_101 (>= (- t_COOKING_CARBONARA_n7_l7_e74 t_COOKING_NOODLES_w1_n73) 6)) (or ?v_102 BREAKING_EGGS_e81) (or ?v_102 COOKING_CARBONARA_n8_l8_e84) (or ?v_102 (>= (- t_COOKING_CARBONARA_n8_l8_e84 t_BREAKING_EGGS_e81) 2)) (or ?v_103 BREAKING_EGGS_e82) (or ?v_103 COOKING_CARBONARA_n8_l8_e84) (or ?v_103 (>= (- t_COOKING_CARBONARA_n8_l8_e84 t_BREAKING_EGGS_e82) 2)) (or ?v_104 BREAKING_EGGS_e83) (or ?v_104 COOKING_CARBONARA_n8_l8_e84) (or ?v_104 (>= (- t_COOKING_CARBONARA_n8_l8_e84 t_BREAKING_EGGS_e83) 2)) (or ?v_105 COOKING_LARDON_o1_l83) (or ?v_105 COOKING_CARBONARA_n8_l8_e84) (or ?v_105 (>= (- t_COOKING_CARBONARA_n8_l8_e84 t_COOKING_LARDON_o1_l83) 5)) (or ?v_106 COOKING_NOODLES_w1_n83) (or ?v_106 COOKING_CARBONARA_n8_l8_e84) (or ?v_106 (>= (- t_COOKING_CARBONARA_n8_l8_e84 t_COOKING_NOODLES_w1_n83) 6)) (or ?v_107 BREAKING_EGGS_e91) (or ?v_107 COOKING_CARBONARA_n9_l9_e94) (or ?v_107 (>= (- t_COOKING_CARBONARA_n9_l9_e94 t_BREAKING_EGGS_e91) 2)) (or ?v_108 BREAKING_EGGS_e92) (or ?v_108 COOKING_CARBONARA_n9_l9_e94) (or ?v_108 (>= (- t_COOKING_CARBONARA_n9_l9_e94 t_BREAKING_EGGS_e92) 2)) (or ?v_109 BREAKING_EGGS_e93) (or ?v_109 COOKING_CARBONARA_n9_l9_e94) (or ?v_109 (>= (- t_COOKING_CARBONARA_n9_l9_e94 t_BREAKING_EGGS_e93) 2)) (or ?v_110 COOKING_LARDON_o1_l93) (or ?v_110 COOKING_CARBONARA_n9_l9_e94) (or ?v_110 (>= (- t_COOKING_CARBONARA_n9_l9_e94 t_COOKING_LARDON_o1_l93) 5)) (or ?v_111 COOKING_NOODLES_w1_n93) (or ?v_111 COOKING_CARBONARA_n9_l9_e94) (or ?v_111 (>= (- t_COOKING_CARBONARA_n9_l9_e94 t_COOKING_NOODLES_w1_n93) 6)) (or ?v_112 BOILING_OIL_p2_o12) (or ?v_112 COOKING_LARDON_o1_l14) (or ?v_112 (>= (- t_COOKING_LARDON_o1_l14 t_BOILING_OIL_p2_o12) 2)) (or ?v_113 BOILING_OIL_p2_o13) (or ?v_113 COOKING_LARDON_o1_l14) (or ?v_113 (>= (- t_COOKING_LARDON_o1_l14 t_BOILING_OIL_p2_o13) 2)) (or ?v_114 BOILING_OIL_p1_o12) (or ?v_114 COOKING_LARDON_o1_l14) (or ?v_114 (>= (- t_COOKING_LARDON_o1_l14 t_BOILING_OIL_p1_o12) 2)) (or ?v_115 BOILING_OIL_p1_o13) (or ?v_115 COOKING_LARDON_o1_l14) (or ?v_115 (>= (- t_COOKING_LARDON_o1_l14 t_BOILING_OIL_p1_o13) 2)) (or ?v_116 BOILING_OIL_p2_o12) (or ?v_116 COOKING_LARDON_o1_l24) (or ?v_116 (>= (- t_COOKING_LARDON_o1_l24 t_BOILING_OIL_p2_o12) 2)) (or ?v_117 BOILING_OIL_p2_o13) (or ?v_117 COOKING_LARDON_o1_l24) (or ?v_117 (>= (- t_COOKING_LARDON_o1_l24 t_BOILING_OIL_p2_o13) 2)) (or ?v_118 BOILING_OIL_p1_o12) (or ?v_118 COOKING_LARDON_o1_l24) (or ?v_118 (>= (- t_COOKING_LARDON_o1_l24 t_BOILING_OIL_p1_o12) 2)) (or ?v_119 BOILING_OIL_p1_o13) (or ?v_119 COOKING_LARDON_o1_l24) (or ?v_119 (>= (- t_COOKING_LARDON_o1_l24 t_BOILING_OIL_p1_o13) 2)) (or ?v_120 BOILING_OIL_p2_o12) (or ?v_120 COOKING_LARDON_o1_l34) (or ?v_120 (>= (- t_COOKING_LARDON_o1_l34 t_BOILING_OIL_p2_o12) 2)) (or ?v_121 BOILING_OIL_p2_o13) (or ?v_121 COOKING_LARDON_o1_l34) (or ?v_121 (>= (- t_COOKING_LARDON_o1_l34 t_BOILING_OIL_p2_o13) 2)) (or ?v_122 BOILING_OIL_p1_o12) (or ?v_122 COOKING_LARDON_o1_l34) (or ?v_122 (>= (- t_COOKING_LARDON_o1_l34 t_BOILING_OIL_p1_o12) 2)) (or ?v_123 BOILING_OIL_p1_o13) (or ?v_123 COOKING_LARDON_o1_l34) (or ?v_123 (>= (- t_COOKING_LARDON_o1_l34 t_BOILING_OIL_p1_o13) 2)) (or ?v_124 BOILING_OIL_p2_o12) (or ?v_124 COOKING_LARDON_o1_l44) (or ?v_124 (>= (- t_COOKING_LARDON_o1_l44 t_BOILING_OIL_p2_o12) 2)) (or ?v_125 BOILING_OIL_p2_o13) (or ?v_125 COOKING_LARDON_o1_l44) (or ?v_125 (>= (- t_COOKING_LARDON_o1_l44 t_BOILING_OIL_p2_o13) 2)) (or ?v_126 BOILING_OIL_p1_o12) (or ?v_126 COOKING_LARDON_o1_l44) (or ?v_126 (>= (- t_COOKING_LARDON_o1_l44 t_BOILING_OIL_p1_o12) 2)) (or ?v_127 BOILING_OIL_p1_o13) (or ?v_127 COOKING_LARDON_o1_l44) (or ?v_127 (>= (- t_COOKING_LARDON_o1_l44 t_BOILING_OIL_p1_o13) 2)) (or ?v_128 BOILING_OIL_p2_o12) (or ?v_128 COOKING_LARDON_o1_l54) (or ?v_128 (>= (- t_COOKING_LARDON_o1_l54 t_BOILING_OIL_p2_o12) 2)) (or ?v_129 BOILING_OIL_p2_o13) (or ?v_129 COOKING_LARDON_o1_l54) (or ?v_129 (>= (- t_COOKING_LARDON_o1_l54 t_BOILING_OIL_p2_o13) 2)) (or ?v_130 BOILING_OIL_p1_o12) (or ?v_130 COOKING_LARDON_o1_l54) (or ?v_130 (>= (- t_COOKING_LARDON_o1_l54 t_BOILING_OIL_p1_o12) 2)) (or ?v_131 BOILING_OIL_p1_o13) (or ?v_131 COOKING_LARDON_o1_l54) (or ?v_131 (>= (- t_COOKING_LARDON_o1_l54 t_BOILING_OIL_p1_o13) 2)) (or ?v_132 BOILING_OIL_p2_o12) (or ?v_132 COOKING_LARDON_o1_l64) (or ?v_132 (>= (- t_COOKING_LARDON_o1_l64 t_BOILING_OIL_p2_o12) 2)) (or ?v_133 BOILING_OIL_p2_o13) (or ?v_133 COOKING_LARDON_o1_l64) (or ?v_133 (>= (- t_COOKING_LARDON_o1_l64 t_BOILING_OIL_p2_o13) 2)) (or ?v_134 BOILING_OIL_p1_o12) (or ?v_134 COOKING_LARDON_o1_l64) (or ?v_134 (>= (- t_COOKING_LARDON_o1_l64 t_BOILING_OIL_p1_o12) 2)) (or ?v_135 BOILING_OIL_p1_o13) (or ?v_135 COOKING_LARDON_o1_l64) (or ?v_135 (>= (- t_COOKING_LARDON_o1_l64 t_BOILING_OIL_p1_o13) 2)) (or ?v_136 BOILING_OIL_p2_o12) (or ?v_136 COOKING_LARDON_o1_l74) (or ?v_136 (>= (- t_COOKING_LARDON_o1_l74 t_BOILING_OIL_p2_o12) 2)) (or ?v_137 BOILING_OIL_p2_o13) (or ?v_137 COOKING_LARDON_o1_l74) (or ?v_137 (>= (- t_COOKING_LARDON_o1_l74 t_BOILING_OIL_p2_o13) 2)) (or ?v_138 BOILING_OIL_p1_o12) (or ?v_138 COOKING_LARDON_o1_l74) (or ?v_138 (>= (- t_COOKING_LARDON_o1_l74 t_BOILING_OIL_p1_o12) 2)) (or ?v_139 BOILING_OIL_p1_o13) (or ?v_139 COOKING_LARDON_o1_l74) (or ?v_139 (>= (- t_COOKING_LARDON_o1_l74 t_BOILING_OIL_p1_o13) 2)) (or ?v_140 BOILING_OIL_p2_o12) (or ?v_140 COOKING_LARDON_o1_l84) (or ?v_140 (>= (- t_COOKING_LARDON_o1_l84 t_BOILING_OIL_p2_o12) 2)) (or ?v_141 BOILING_OIL_p2_o13) (or ?v_141 COOKING_LARDON_o1_l84) (or ?v_141 (>= (- t_COOKING_LARDON_o1_l84 t_BOILING_OIL_p2_o13) 2)) (or ?v_142 BOILING_OIL_p1_o12) (or ?v_142 COOKING_LARDON_o1_l84) (or ?v_142 (>= (- t_COOKING_LARDON_o1_l84 t_BOILING_OIL_p1_o12) 2)) (or ?v_143 BOILING_OIL_p1_o13) (or ?v_143 COOKING_LARDON_o1_l84) (or ?v_143 (>= (- t_COOKING_LARDON_o1_l84 t_BOILING_OIL_p1_o13) 2)) (or ?v_144 BOILING_OIL_p2_o12) (or ?v_144 COOKING_LARDON_o1_l94) (or ?v_144 (>= (- t_COOKING_LARDON_o1_l94 t_BOILING_OIL_p2_o12) 2)) (or ?v_145 BOILING_OIL_p2_o13) (or ?v_145 COOKING_LARDON_o1_l94) (or ?v_145 (>= (- t_COOKING_LARDON_o1_l94 t_BOILING_OIL_p2_o13) 2)) (or ?v_146 BOILING_OIL_p1_o12) (or ?v_146 COOKING_LARDON_o1_l94) (or ?v_146 (>= (- t_COOKING_LARDON_o1_l94 t_BOILING_OIL_p1_o12) 2)) (or ?v_147 BOILING_OIL_p1_o13) (or ?v_147 COOKING_LARDON_o1_l94) (or ?v_147 (>= (- t_COOKING_LARDON_o1_l94 t_BOILING_OIL_p1_o13) 2)) (or ?v_148 BOILING_WATER_p2_w12) (or ?v_148 COOKING_NOODLES_w1_n14) (or ?v_148 (>= (- t_COOKING_NOODLES_w1_n14 t_BOILING_WATER_p2_w12) 2)) (or ?v_149 BOILING_WATER_p2_w13) (or ?v_149 COOKING_NOODLES_w1_n14) (or ?v_149 (>= (- t_COOKING_NOODLES_w1_n14 t_BOILING_WATER_p2_w13) 2)) (or ?v_150 BOILING_WATER_p1_w12) (or ?v_150 COOKING_NOODLES_w1_n14) (or ?v_150 (>= (- t_COOKING_NOODLES_w1_n14 t_BOILING_WATER_p1_w12) 2)) (or ?v_151 BOILING_WATER_p1_w13) (or ?v_151 COOKING_NOODLES_w1_n14) (or ?v_151 (>= (- t_COOKING_NOODLES_w1_n14 t_BOILING_WATER_p1_w13) 2)) (or ?v_152 BOILING_WATER_p2_w12) (or ?v_152 COOKING_NOODLES_w1_n24) (or ?v_152 (>= (- t_COOKING_NOODLES_w1_n24 t_BOILING_WATER_p2_w12) 2)) (or ?v_153 BOILING_WATER_p2_w13) (or ?v_153 COOKING_NOODLES_w1_n24) (or ?v_153 (>= (- t_COOKING_NOODLES_w1_n24 t_BOILING_WATER_p2_w13) 2)) (or ?v_154 BOILING_WATER_p1_w12) (or ?v_154 COOKING_NOODLES_w1_n24) (or ?v_154 (>= (- t_COOKING_NOODLES_w1_n24 t_BOILING_WATER_p1_w12) 2)) (or ?v_155 BOILING_WATER_p1_w13) (or ?v_155 COOKING_NOODLES_w1_n24) (or ?v_155 (>= (- t_COOKING_NOODLES_w1_n24 t_BOILING_WATER_p1_w13) 2)) (or ?v_156 BOILING_WATER_p2_w12) (or ?v_156 COOKING_NOODLES_w1_n34) (or ?v_156 (>= (- t_COOKING_NOODLES_w1_n34 t_BOILING_WATER_p2_w12) 2)) (or ?v_157 BOILING_WATER_p2_w13) (or ?v_157 COOKING_NOODLES_w1_n34) (or ?v_157 (>= (- t_COOKING_NOODLES_w1_n34 t_BOILING_WATER_p2_w13) 2)) (or ?v_158 BOILING_WATER_p1_w12) (or ?v_158 COOKING_NOODLES_w1_n34) (or ?v_158 (>= (- t_COOKING_NOODLES_w1_n34 t_BOILING_WATER_p1_w12) 2)) (or ?v_159 BOILING_WATER_p1_w13) (or ?v_159 COOKING_NOODLES_w1_n34) (or ?v_159 (>= (- t_COOKING_NOODLES_w1_n34 t_BOILING_WATER_p1_w13) 2)) (or ?v_160 BOILING_WATER_p2_w12) (or ?v_160 COOKING_NOODLES_w1_n44) (or ?v_160 (>= (- t_COOKING_NOODLES_w1_n44 t_BOILING_WATER_p2_w12) 2)) (or ?v_161 BOILING_WATER_p2_w13) (or ?v_161 COOKING_NOODLES_w1_n44) (or ?v_161 (>= (- t_COOKING_NOODLES_w1_n44 t_BOILING_WATER_p2_w13) 2)) (or ?v_162 BOILING_WATER_p1_w12) (or ?v_162 COOKING_NOODLES_w1_n44) (or ?v_162 (>= (- t_COOKING_NOODLES_w1_n44 t_BOILING_WATER_p1_w12) 2)) (or ?v_163 BOILING_WATER_p1_w13) (or ?v_163 COOKING_NOODLES_w1_n44) (or ?v_163 (>= (- t_COOKING_NOODLES_w1_n44 t_BOILING_WATER_p1_w13) 2)) (or ?v_164 BOILING_WATER_p2_w12) (or ?v_164 COOKING_NOODLES_w1_n54) (or ?v_164 (>= (- t_COOKING_NOODLES_w1_n54 t_BOILING_WATER_p2_w12) 2)) (or ?v_165 BOILING_WATER_p2_w13) (or ?v_165 COOKING_NOODLES_w1_n54) (or ?v_165 (>= (- t_COOKING_NOODLES_w1_n54 t_BOILING_WATER_p2_w13) 2)) (or ?v_166 BOILING_WATER_p1_w12) (or ?v_166 COOKING_NOODLES_w1_n54) (or ?v_166 (>= (- t_COOKING_NOODLES_w1_n54 t_BOILING_WATER_p1_w12) 2)) (or ?v_167 BOILING_WATER_p1_w13) (or ?v_167 COOKING_NOODLES_w1_n54) (or ?v_167 (>= (- t_COOKING_NOODLES_w1_n54 t_BOILING_WATER_p1_w13) 2)) (or ?v_168 BOILING_WATER_p2_w12) (or ?v_168 COOKING_NOODLES_w1_n64) (or ?v_168 (>= (- t_COOKING_NOODLES_w1_n64 t_BOILING_WATER_p2_w12) 2)) (or ?v_169 BOILING_WATER_p2_w13) (or ?v_169 COOKING_NOODLES_w1_n64) (or ?v_169 (>= (- t_COOKING_NOODLES_w1_n64 t_BOILING_WATER_p2_w13) 2)) (or ?v_170 BOILING_WATER_p1_w12) (or ?v_170 COOKING_NOODLES_w1_n64) (or ?v_170 (>= (- t_COOKING_NOODLES_w1_n64 t_BOILING_WATER_p1_w12) 2)) (or ?v_171 BOILING_WATER_p1_w13) (or ?v_171 COOKING_NOODLES_w1_n64) (or ?v_171 (>= (- t_COOKING_NOODLES_w1_n64 t_BOILING_WATER_p1_w13) 2)) (or ?v_172 BOILING_WATER_p2_w12) (or ?v_172 COOKING_NOODLES_w1_n74) (or ?v_172 (>= (- t_COOKING_NOODLES_w1_n74 t_BOILING_WATER_p2_w12) 2)) (or ?v_173 BOILING_WATER_p2_w13) (or ?v_173 COOKING_NOODLES_w1_n74) (or ?v_173 (>= (- t_COOKING_NOODLES_w1_n74 t_BOILING_WATER_p2_w13) 2)) (or ?v_174 BOILING_WATER_p1_w12) (or ?v_174 COOKING_NOODLES_w1_n74) (or ?v_174 (>= (- t_COOKING_NOODLES_w1_n74 t_BOILING_WATER_p1_w12) 2)) (or ?v_175 BOILING_WATER_p1_w13) (or ?v_175 COOKING_NOODLES_w1_n74) (or ?v_175 (>= (- t_COOKING_NOODLES_w1_n74 t_BOILING_WATER_p1_w13) 2)) (or ?v_176 BOILING_WATER_p2_w12) (or ?v_176 COOKING_NOODLES_w1_n84) (or ?v_176 (>= (- t_COOKING_NOODLES_w1_n84 t_BOILING_WATER_p2_w12) 2)) (or ?v_177 BOILING_WATER_p2_w13) (or ?v_177 COOKING_NOODLES_w1_n84) (or ?v_177 (>= (- t_COOKING_NOODLES_w1_n84 t_BOILING_WATER_p2_w13) 2)) (or ?v_178 BOILING_WATER_p1_w12) (or ?v_178 COOKING_NOODLES_w1_n84) (or ?v_178 (>= (- t_COOKING_NOODLES_w1_n84 t_BOILING_WATER_p1_w12) 2)) (or ?v_179 BOILING_WATER_p1_w13) (or ?v_179 COOKING_NOODLES_w1_n84) (or ?v_179 (>= (- t_COOKING_NOODLES_w1_n84 t_BOILING_WATER_p1_w13) 2)) (or ?v_180 BOILING_WATER_p2_w12) (or ?v_180 COOKING_NOODLES_w1_n94) (or ?v_180 (>= (- t_COOKING_NOODLES_w1_n94 t_BOILING_WATER_p2_w12) 2)) (or ?v_181 BOILING_WATER_p2_w13) (or ?v_181 COOKING_NOODLES_w1_n94) (or ?v_181 (>= (- t_COOKING_NOODLES_w1_n94 t_BOILING_WATER_p2_w13) 2)) (or ?v_182 BOILING_WATER_p1_w12) (or ?v_182 COOKING_NOODLES_w1_n94) (or ?v_182 (>= (- t_COOKING_NOODLES_w1_n94 t_BOILING_WATER_p1_w12) 2)) (or ?v_183 BOILING_WATER_p1_w13) (or ?v_183 COOKING_NOODLES_w1_n94) (or ?v_183 (>= (- t_COOKING_NOODLES_w1_n94 t_BOILING_WATER_p1_w13) 2)) (or ?v_184 COOKING_LARDON_o1_l13) (or ?v_184 EATING_CARBONARA_n1_l1_e15) (or ?v_184 (>= ?v_491 5)) (or ?v_185 COOKING_LARDON_o1_l14) (or ?v_185 EATING_CARBONARA_n1_l1_e15) (or ?v_185 (>= ?v_493 5)) (or ?v_186 COOKING_NOODLES_w1_n13) (or ?v_186 EATING_CARBONARA_n1_l1_e15) (or ?v_186 (>= ?v_497 6)) (or ?v_187 COOKING_NOODLES_w1_n14) (or ?v_187 EATING_CARBONARA_n1_l1_e15) (or ?v_187 (>= ?v_499 6)) (or ?v_188 COOKING_CARBONARA_n1_l1_e14) (or ?v_188 EATING_CARBONARA_n1_l1_e15) (or ?v_188 (>= (- t_EATING_CARBONARA_n1_l1_e15 t_COOKING_CARBONARA_n1_l1_e14) 1)) (or ?v_189 COOKING_LARDON_o1_l23) (or ?v_189 EATING_CARBONARA_n2_l2_e25) (or ?v_189 (>= ?v_503 5)) (or ?v_190 COOKING_LARDON_o1_l24) (or ?v_190 EATING_CARBONARA_n2_l2_e25) (or ?v_190 (>= ?v_505 5)) (or ?v_191 COOKING_NOODLES_w1_n23) (or ?v_191 EATING_CARBONARA_n2_l2_e25) (or ?v_191 (>= ?v_509 6)) (or ?v_192 COOKING_NOODLES_w1_n24) (or ?v_192 EATING_CARBONARA_n2_l2_e25) (or ?v_192 (>= ?v_511 6)) (or ?v_193 COOKING_CARBONARA_n2_l2_e24) (or ?v_193 EATING_CARBONARA_n2_l2_e25) (or ?v_193 (>= (- t_EATING_CARBONARA_n2_l2_e25 t_COOKING_CARBONARA_n2_l2_e24) 1)) (or ?v_194 COOKING_LARDON_o1_l33) (or ?v_194 EATING_CARBONARA_n3_l3_e35) (or ?v_194 (>= ?v_515 5)) (or ?v_195 COOKING_LARDON_o1_l34) (or ?v_195 EATING_CARBONARA_n3_l3_e35) (or ?v_195 (>= ?v_517 5)) (or ?v_196 COOKING_NOODLES_w1_n33) (or ?v_196 EATING_CARBONARA_n3_l3_e35) (or ?v_196 (>= ?v_521 6)) (or ?v_197 COOKING_NOODLES_w1_n34) (or ?v_197 EATING_CARBONARA_n3_l3_e35) (or ?v_197 (>= ?v_523 6)) (or ?v_198 COOKING_CARBONARA_n3_l3_e34) (or ?v_198 EATING_CARBONARA_n3_l3_e35) (or ?v_198 (>= (- t_EATING_CARBONARA_n3_l3_e35 t_COOKING_CARBONARA_n3_l3_e34) 1)) (or ?v_199 COOKING_LARDON_o1_l43) (or ?v_199 EATING_CARBONARA_n4_l4_e45) (or ?v_199 (>= ?v_527 5)) (or ?v_200 COOKING_LARDON_o1_l44) (or ?v_200 EATING_CARBONARA_n4_l4_e45) (or ?v_200 (>= ?v_529 5)) (or ?v_201 COOKING_NOODLES_w1_n43) (or ?v_201 EATING_CARBONARA_n4_l4_e45) (or ?v_201 (>= ?v_533 6)) (or ?v_202 COOKING_NOODLES_w1_n44) (or ?v_202 EATING_CARBONARA_n4_l4_e45) (or ?v_202 (>= ?v_535 6)) (or ?v_203 COOKING_CARBONARA_n4_l4_e44) (or ?v_203 EATING_CARBONARA_n4_l4_e45) (or ?v_203 (>= (- t_EATING_CARBONARA_n4_l4_e45 t_COOKING_CARBONARA_n4_l4_e44) 1)) (or ?v_204 COOKING_LARDON_o1_l53) (or ?v_204 EATING_CARBONARA_n5_l5_e55) (or ?v_204 (>= ?v_539 5)) (or ?v_205 COOKING_LARDON_o1_l54) (or ?v_205 EATING_CARBONARA_n5_l5_e55) (or ?v_205 (>= ?v_541 5)) (or ?v_206 COOKING_NOODLES_w1_n53) (or ?v_206 EATING_CARBONARA_n5_l5_e55) (or ?v_206 (>= ?v_545 6)) (or ?v_207 COOKING_NOODLES_w1_n54) (or ?v_207 EATING_CARBONARA_n5_l5_e55) (or ?v_207 (>= ?v_547 6)) (or ?v_208 COOKING_CARBONARA_n5_l5_e54) (or ?v_208 EATING_CARBONARA_n5_l5_e55) (or ?v_208 (>= (- t_EATING_CARBONARA_n5_l5_e55 t_COOKING_CARBONARA_n5_l5_e54) 1)) (or ?v_209 COOKING_LARDON_o1_l63) (or ?v_209 EATING_CARBONARA_n6_l6_e65) (or ?v_209 (>= ?v_551 5)) (or ?v_210 COOKING_LARDON_o1_l64) (or ?v_210 EATING_CARBONARA_n6_l6_e65) (or ?v_210 (>= ?v_553 5)) (or ?v_211 COOKING_NOODLES_w1_n63) (or ?v_211 EATING_CARBONARA_n6_l6_e65) (or ?v_211 (>= ?v_557 6)) (or ?v_212 COOKING_NOODLES_w1_n64) (or ?v_212 EATING_CARBONARA_n6_l6_e65) (or ?v_212 (>= ?v_559 6)) (or ?v_213 COOKING_CARBONARA_n6_l6_e64) (or ?v_213 EATING_CARBONARA_n6_l6_e65) (or ?v_213 (>= (- t_EATING_CARBONARA_n6_l6_e65 t_COOKING_CARBONARA_n6_l6_e64) 1)) (or ?v_214 COOKING_LARDON_o1_l73) (or ?v_214 EATING_CARBONARA_n7_l7_e75) (or ?v_214 (>= ?v_563 5)) (or ?v_215 COOKING_LARDON_o1_l74) (or ?v_215 EATING_CARBONARA_n7_l7_e75) (or ?v_215 (>= ?v_565 5)) (or ?v_216 COOKING_NOODLES_w1_n73) (or ?v_216 EATING_CARBONARA_n7_l7_e75) (or ?v_216 (>= ?v_569 6)) (or ?v_217 COOKING_NOODLES_w1_n74) (or ?v_217 EATING_CARBONARA_n7_l7_e75) (or ?v_217 (>= ?v_571 6)) (or ?v_218 COOKING_CARBONARA_n7_l7_e74) (or ?v_218 EATING_CARBONARA_n7_l7_e75) (or ?v_218 (>= (- t_EATING_CARBONARA_n7_l7_e75 t_COOKING_CARBONARA_n7_l7_e74) 1)) (or ?v_219 COOKING_LARDON_o1_l83) (or ?v_219 EATING_CARBONARA_n8_l8_e85) (or ?v_219 (>= ?v_575 5)) (or ?v_220 COOKING_LARDON_o1_l84) (or ?v_220 EATING_CARBONARA_n8_l8_e85) (or ?v_220 (>= ?v_577 5)) (or ?v_221 COOKING_NOODLES_w1_n83) (or ?v_221 EATING_CARBONARA_n8_l8_e85) (or ?v_221 (>= ?v_581 6)) (or ?v_222 COOKING_NOODLES_w1_n84) (or ?v_222 EATING_CARBONARA_n8_l8_e85) (or ?v_222 (>= ?v_583 6)) (or ?v_223 COOKING_CARBONARA_n8_l8_e84) (or ?v_223 EATING_CARBONARA_n8_l8_e85) (or ?v_223 (>= (- t_EATING_CARBONARA_n8_l8_e85 t_COOKING_CARBONARA_n8_l8_e84) 1)) (or ?v_224 COOKING_LARDON_o1_l93) (or ?v_224 EATING_CARBONARA_n9_l9_e95) (or ?v_224 (>= ?v_587 5)) (or ?v_225 COOKING_LARDON_o1_l94) (or ?v_225 EATING_CARBONARA_n9_l9_e95) (or ?v_225 (>= ?v_589 5)) (or ?v_226 COOKING_NOODLES_w1_n93) (or ?v_226 EATING_CARBONARA_n9_l9_e95) (or ?v_226 (>= ?v_593 6)) (or ?v_227 COOKING_NOODLES_w1_n94) (or ?v_227 EATING_CARBONARA_n9_l9_e95) (or ?v_227 (>= ?v_595 6)) (or ?v_228 COOKING_CARBONARA_n9_l9_e94) (or ?v_228 EATING_CARBONARA_n9_l9_e95) (or ?v_228 (>= (- t_EATING_CARBONARA_n9_l9_e95 t_COOKING_CARBONARA_n9_l9_e94) 1)) (or ?v_229 Goal) (or ?v_229 EATING_CARBONARA_n1_l1_e15) (or ?v_229 ?v_734) (or ?v_230 Goal) (or ?v_230 EATING_CARBONARA_n2_l2_e25) (or ?v_230 ?v_735) (or ?v_231 Goal) (or ?v_231 EATING_CARBONARA_n3_l3_e35) (or ?v_231 ?v_736) (or ?v_232 Goal) (or ?v_232 EATING_CARBONARA_n4_l4_e45) (or ?v_232 ?v_737) (or ?v_233 Goal) (or ?v_233 EATING_CARBONARA_n5_l5_e55) (or ?v_233 ?v_738) (or ?v_234 Goal) (or ?v_234 EATING_CARBONARA_n6_l6_e65) (or ?v_234 ?v_739) (or ?v_235 Goal) (or ?v_235 EATING_CARBONARA_n7_l7_e75) (or ?v_235 ?v_740) (or ?v_236 Goal) (or ?v_236 EATING_CARBONARA_n8_l8_e85) (or ?v_236 ?v_741) (or ?v_237 Goal) (or ?v_237 EATING_CARBONARA_n9_l9_e95) (or ?v_237 ?v_742) (or ?v_19 ?v_240 ?v_241 (<= ?v_238 5)) (or ?v_19 ?v_243 ?v_244 (<= (- t_BOILING_OIL_p1_o12 t_FIRE_COOKING_PLATE_p12) 5)) (or ?v_20 ?v_245 ?v_246 (<= ?v_239 5)) (or ?v_20 ?v_248 ?v_249 (<= (- t_BOILING_OIL_p2_o12 t_FIRE_COOKING_PLATE_p22) 5)) (or ?v_21 ?v_240 ?v_241 (<= ?v_242 5)) (or ?v_21 ?v_243 ?v_244 (<= (- t_BOILING_WATER_p1_w12 t_FIRE_COOKING_PLATE_p12) 5)) (or ?v_22 ?v_245 ?v_246 (<= ?v_247 5)) (or ?v_22 ?v_248 ?v_249 (<= (- t_BOILING_WATER_p2_w12 t_FIRE_COOKING_PLATE_p22) 5)) (or ?v_23 ?v_250 ?v_258 ?v_254) (or ?v_23 ?v_251 ?v_259 ?v_255) (or ?v_23 ?v_252 ?v_260 ?v_256) (or ?v_23 ?v_253 ?v_261 ?v_257) (or ?v_24 ?v_250 ?v_262 ?v_254) (or ?v_24 ?v_251 ?v_264 ?v_255) (or ?v_24 ?v_252 ?v_266 ?v_256) (or ?v_24 ?v_253 ?v_268 ?v_257) (or ?v_25 ?v_250 ?v_258 ?v_263) (or ?v_25 ?v_251 ?v_259 ?v_265) (or ?v_25 ?v_252 ?v_260 ?v_267) (or ?v_25 ?v_253 ?v_261 ?v_269) (or ?v_26 ?v_250 ?v_262 ?v_263) (or ?v_26 ?v_251 ?v_264 ?v_265) (or ?v_26 ?v_252 ?v_266 ?v_267) (or ?v_26 ?v_253 ?v_268 ?v_269) (or ?v_27 ?v_250 ?v_258 ?v_270) (or ?v_27 ?v_251 ?v_259 ?v_271) (or ?v_27 ?v_252 ?v_260 ?v_272) (or ?v_27 ?v_253 ?v_261 ?v_273) (or ?v_28 ?v_250 ?v_262 ?v_270) (or ?v_28 ?v_251 ?v_264 ?v_271) (or ?v_28 ?v_252 ?v_266 ?v_272) (or ?v_28 ?v_253 ?v_268 ?v_273) (or ?v_29 ?v_250 ?v_258 ?v_274) (or ?v_29 ?v_251 ?v_259 ?v_275) (or ?v_29 ?v_252 ?v_260 ?v_276) (or ?v_29 ?v_253 ?v_261 ?v_277) (or ?v_30 ?v_250 ?v_262 ?v_274) (or ?v_30 ?v_251 ?v_264 ?v_275) (or ?v_30 ?v_252 ?v_266 ?v_276) (or ?v_30 ?v_253 ?v_268 ?v_277) (or ?v_31 ?v_250 ?v_258 ?v_278) (or ?v_31 ?v_251 ?v_259 ?v_279) (or ?v_31 ?v_252 ?v_260 ?v_280) (or ?v_31 ?v_253 ?v_261 ?v_281) (or ?v_32 ?v_250 ?v_262 ?v_278) (or ?v_32 ?v_251 ?v_264 ?v_279) (or ?v_32 ?v_252 ?v_266 ?v_280) (or ?v_32 ?v_253 ?v_268 ?v_281) (or ?v_33 ?v_250 ?v_258 ?v_282) (or ?v_33 ?v_251 ?v_259 ?v_283) (or ?v_33 ?v_252 ?v_260 ?v_284) (or ?v_33 ?v_253 ?v_261 ?v_285) (or ?v_34 ?v_250 ?v_262 ?v_282) (or ?v_34 ?v_251 ?v_264 ?v_283) (or ?v_34 ?v_252 ?v_266 ?v_284) (or ?v_34 ?v_253 ?v_268 ?v_285) (or ?v_35 ?v_250 ?v_258 ?v_286) (or ?v_35 ?v_251 ?v_259 ?v_287) (or ?v_35 ?v_252 ?v_260 ?v_288) (or ?v_35 ?v_253 ?v_261 ?v_289) (or ?v_36 ?v_250 ?v_262 ?v_286) (or ?v_36 ?v_251 ?v_264 ?v_287) (or ?v_36 ?v_252 ?v_266 ?v_288) (or ?v_36 ?v_253 ?v_268 ?v_289) (or ?v_37 ?v_250 ?v_258 ?v_290) (or ?v_37 ?v_251 ?v_259 ?v_291) (or ?v_37 ?v_252 ?v_260 ?v_292) (or ?v_37 ?v_253 ?v_261 ?v_293) (or ?v_38 ?v_250 ?v_262 ?v_290) (or ?v_38 ?v_251 ?v_264 ?v_291) (or ?v_38 ?v_252 ?v_266 ?v_292) (or ?v_38 ?v_253 ?v_268 ?v_293) (or ?v_39 ?v_250 ?v_258 ?v_294) (or ?v_39 ?v_251 ?v_259 ?v_295) (or ?v_39 ?v_252 ?v_260 ?v_296) (or ?v_39 ?v_253 ?v_261 ?v_297) (or ?v_40 ?v_250 ?v_262 ?v_294) (or ?v_40 ?v_251 ?v_264 ?v_295) (or ?v_40 ?v_252 ?v_266 ?v_296) (or ?v_40 ?v_253 ?v_268 ?v_297) (or ?v_41 ?v_298 ?v_306 ?v_302) (or ?v_41 ?v_299 ?v_307 ?v_303) (or ?v_41 ?v_300 ?v_308 ?v_304) (or ?v_41 ?v_301 ?v_309 ?v_305) (or ?v_42 ?v_298 ?v_310 ?v_302) (or ?v_42 ?v_299 ?v_312 ?v_303) (or ?v_42 ?v_300 ?v_314 ?v_304) (or ?v_42 ?v_301 ?v_316 ?v_305) (or ?v_43 ?v_298 ?v_306 ?v_311) (or ?v_43 ?v_299 ?v_307 ?v_313) (or ?v_43 ?v_300 ?v_308 ?v_315) (or ?v_43 ?v_301 ?v_309 ?v_317) (or ?v_44 ?v_298 ?v_310 ?v_311) (or ?v_44 ?v_299 ?v_312 ?v_313) (or ?v_44 ?v_300 ?v_314 ?v_315) (or ?v_44 ?v_301 ?v_316 ?v_317) (or ?v_45 ?v_298 ?v_306 ?v_318) (or ?v_45 ?v_299 ?v_307 ?v_319) (or ?v_45 ?v_300 ?v_308 ?v_320) (or ?v_45 ?v_301 ?v_309 ?v_321) (or ?v_46 ?v_298 ?v_310 ?v_318) (or ?v_46 ?v_299 ?v_312 ?v_319) (or ?v_46 ?v_300 ?v_314 ?v_320) (or ?v_46 ?v_301 ?v_316 ?v_321) (or ?v_47 ?v_298 ?v_306 ?v_322) (or ?v_47 ?v_299 ?v_307 ?v_323) (or ?v_47 ?v_300 ?v_308 ?v_324) (or ?v_47 ?v_301 ?v_309 ?v_325) (or ?v_48 ?v_298 ?v_310 ?v_322) (or ?v_48 ?v_299 ?v_312 ?v_323) (or ?v_48 ?v_300 ?v_314 ?v_324) (or ?v_48 ?v_301 ?v_316 ?v_325) (or ?v_49 ?v_298 ?v_306 ?v_326) (or ?v_49 ?v_299 ?v_307 ?v_327) (or ?v_49 ?v_300 ?v_308 ?v_328) (or ?v_49 ?v_301 ?v_309 ?v_329) (or ?v_50 ?v_298 ?v_310 ?v_326) (or ?v_50 ?v_299 ?v_312 ?v_327) (or ?v_50 ?v_300 ?v_314 ?v_328) (or ?v_50 ?v_301 ?v_316 ?v_329) (or ?v_51 ?v_298 ?v_306 ?v_330) (or ?v_51 ?v_299 ?v_307 ?v_331) (or ?v_51 ?v_300 ?v_308 ?v_332) (or ?v_51 ?v_301 ?v_309 ?v_333) (or ?v_52 ?v_298 ?v_310 ?v_330) (or ?v_52 ?v_299 ?v_312 ?v_331) (or ?v_52 ?v_300 ?v_314 ?v_332) (or ?v_52 ?v_301 ?v_316 ?v_333) (or ?v_53 ?v_298 ?v_306 ?v_334) (or ?v_53 ?v_299 ?v_307 ?v_335) (or ?v_53 ?v_300 ?v_308 ?v_336) (or ?v_53 ?v_301 ?v_309 ?v_337) (or ?v_54 ?v_298 ?v_310 ?v_334) (or ?v_54 ?v_299 ?v_312 ?v_335) (or ?v_54 ?v_300 ?v_314 ?v_336) (or ?v_54 ?v_301 ?v_316 ?v_337) (or ?v_55 ?v_298 ?v_306 ?v_338) (or ?v_55 ?v_299 ?v_307 ?v_339) (or ?v_55 ?v_300 ?v_308 ?v_340) (or ?v_55 ?v_301 ?v_309 ?v_341) (or ?v_56 ?v_298 ?v_310 ?v_338) (or ?v_56 ?v_299 ?v_312 ?v_339) (or ?v_56 ?v_300 ?v_314 ?v_340) (or ?v_56 ?v_301 ?v_316 ?v_341) (or ?v_57 ?v_298 ?v_306 ?v_342) (or ?v_57 ?v_299 ?v_307 ?v_343) (or ?v_57 ?v_300 ?v_308 ?v_344) (or ?v_57 ?v_301 ?v_309 ?v_345) (or ?v_58 ?v_298 ?v_310 ?v_342) (or ?v_58 ?v_299 ?v_312 ?v_343) (or ?v_58 ?v_300 ?v_314 ?v_344) (or ?v_58 ?v_301 ?v_316 ?v_345) (or ?v_59 ?v_240 ?v_241 ?v_348) (or ?v_59 ?v_243 ?v_244 ?v_349) (or ?v_60 ?v_240 ?v_356 ?v_348) (or ?v_60 ?v_243 ?v_358 ?v_349) (or ?v_61 ?v_245 ?v_246 ?v_352) (or ?v_61 ?v_248 ?v_249 ?v_353) (or ?v_62 ?v_245 ?v_362 ?v_352) (or ?v_62 ?v_248 ?v_364 ?v_353) (or ?v_63 ?v_240 ?v_241 ?v_357) (or ?v_63 ?v_243 ?v_244 ?v_359) (or ?v_64 ?v_240 ?v_356 ?v_357) (or ?v_64 ?v_243 ?v_358 ?v_359) (or ?v_65 ?v_245 ?v_246 ?v_363) (or ?v_65 ?v_248 ?v_249 ?v_365) (or ?v_66 ?v_245 ?v_362 ?v_363) (or ?v_66 ?v_248 ?v_364 ?v_365) (or ?v_70 ?v_366 (>= ?v_490 0) (>= (- t_COOKING_LARDON_o1_l13 t_COOKING_CARBONARA_n1_l1_e14) 1)) (or ?v_70 ?v_367 ?v_702 (>= (- t_COOKING_LARDON_o1_l14 t_COOKING_CARBONARA_n1_l1_e14) 1)) (or ?v_71 ?v_368 (>= ?v_496 0) (>= (- t_COOKING_NOODLES_w1_n13 t_COOKING_CARBONARA_n1_l1_e14) 1)) (or ?v_71 ?v_369 ?v_628 (>= (- t_COOKING_NOODLES_w1_n14 t_COOKING_CARBONARA_n1_l1_e14) 1)) (or ?v_75 ?v_370 (>= ?v_502 0) (>= (- t_COOKING_LARDON_o1_l23 t_COOKING_CARBONARA_n2_l2_e24) 1)) (or ?v_75 ?v_371 ?v_636 (>= (- t_COOKING_LARDON_o1_l24 t_COOKING_CARBONARA_n2_l2_e24) 1)) (or ?v_76 ?v_372 (>= ?v_508 0) (>= (- t_COOKING_NOODLES_w1_n23 t_COOKING_CARBONARA_n2_l2_e24) 1)) (or ?v_76 ?v_373 ?v_670 (>= (- t_COOKING_NOODLES_w1_n24 t_COOKING_CARBONARA_n2_l2_e24) 1)) (or ?v_80 ?v_374 (>= ?v_514 0) (>= (- t_COOKING_LARDON_o1_l33 t_COOKING_CARBONARA_n3_l3_e34) 1)) (or ?v_80 ?v_375 ?v_678 (>= (- t_COOKING_LARDON_o1_l34 t_COOKING_CARBONARA_n3_l3_e34) 1)) (or ?v_81 ?v_376 (>= ?v_520 0) (>= (- t_COOKING_NOODLES_w1_n33 t_COOKING_CARBONARA_n3_l3_e34) 1)) (or ?v_81 ?v_377 ?v_612 (>= (- t_COOKING_NOODLES_w1_n34 t_COOKING_CARBONARA_n3_l3_e34) 1)) (or ?v_85 ?v_378 (>= ?v_526 0) (>= (- t_COOKING_LARDON_o1_l43 t_COOKING_CARBONARA_n4_l4_e44) 1)) (or ?v_85 ?v_379 ?v_620 (>= (- t_COOKING_LARDON_o1_l44 t_COOKING_CARBONARA_n4_l4_e44) 1)) (or ?v_86 ?v_380 (>= ?v_532 0) (>= (- t_COOKING_NOODLES_w1_n43 t_COOKING_CARBONARA_n4_l4_e44) 1)) (or ?v_86 ?v_381 ?v_656 (>= (- t_COOKING_NOODLES_w1_n44 t_COOKING_CARBONARA_n4_l4_e44) 1)) (or ?v_90 ?v_382 (>= ?v_538 0) (>= (- t_COOKING_LARDON_o1_l53 t_COOKING_CARBONARA_n5_l5_e54) 1)) (or ?v_90 ?v_383 ?v_664 (>= (- t_COOKING_LARDON_o1_l54 t_COOKING_CARBONARA_n5_l5_e54) 1)) (or ?v_91 ?v_384 (>= ?v_544 0) (>= (- t_COOKING_NOODLES_w1_n53 t_COOKING_CARBONARA_n5_l5_e54) 1)) (or ?v_91 ?v_385 ?v_698 (>= (- t_COOKING_NOODLES_w1_n54 t_COOKING_CARBONARA_n5_l5_e54) 1)) (or ?v_95 ?v_386 (>= ?v_550 0) (>= (- t_COOKING_LARDON_o1_l63 t_COOKING_CARBONARA_n6_l6_e64) 1)) (or ?v_95 ?v_387 ?v_706 (>= (- t_COOKING_LARDON_o1_l64 t_COOKING_CARBONARA_n6_l6_e64) 1)) (or ?v_96 ?v_388 (>= ?v_556 0) (>= (- t_COOKING_NOODLES_w1_n63 t_COOKING_CARBONARA_n6_l6_e64) 1)) (or ?v_96 ?v_389 ?v_632 (>= (- t_COOKING_NOODLES_w1_n64 t_COOKING_CARBONARA_n6_l6_e64) 1)) (or ?v_100 ?v_390 (>= ?v_562 0) (>= (- t_COOKING_LARDON_o1_l73 t_COOKING_CARBONARA_n7_l7_e74) 1)) (or ?v_100 ?v_391 ?v_640 (>= (- t_COOKING_LARDON_o1_l74 t_COOKING_CARBONARA_n7_l7_e74) 1)) (or ?v_101 ?v_392 (>= ?v_568 0) (>= (- t_COOKING_NOODLES_w1_n73 t_COOKING_CARBONARA_n7_l7_e74) 1)) (or ?v_101 ?v_393 ?v_674 (>= (- t_COOKING_NOODLES_w1_n74 t_COOKING_CARBONARA_n7_l7_e74) 1)) (or ?v_105 ?v_394 (>= ?v_574 0) (>= (- t_COOKING_LARDON_o1_l83 t_COOKING_CARBONARA_n8_l8_e84) 1)) (or ?v_105 ?v_395 ?v_682 (>= (- t_COOKING_LARDON_o1_l84 t_COOKING_CARBONARA_n8_l8_e84) 1)) (or ?v_106 ?v_396 (>= ?v_580 0) (>= (- t_COOKING_NOODLES_w1_n83 t_COOKING_CARBONARA_n8_l8_e84) 1)) (or ?v_106 ?v_397 ?v_616 (>= (- t_COOKING_NOODLES_w1_n84 t_COOKING_CARBONARA_n8_l8_e84) 1)) (or ?v_110 ?v_398 (>= ?v_586 0) (>= (- t_COOKING_LARDON_o1_l93 t_COOKING_CARBONARA_n9_l9_e94) 1)) (or ?v_110 ?v_399 ?v_624 (>= (- t_COOKING_LARDON_o1_l94 t_COOKING_CARBONARA_n9_l9_e94) 1)) (or ?v_111 ?v_400 (>= ?v_592 0) (>= (- t_COOKING_NOODLES_w1_n93 t_COOKING_CARBONARA_n9_l9_e94) 1)) (or ?v_111 ?v_401 ?v_660 (>= (- t_COOKING_NOODLES_w1_n94 t_COOKING_CARBONARA_n9_l9_e94) 1)) (or ?v_112 ?v_250 ?v_258 ?v_402) (or ?v_112 ?v_251 ?v_259 ?v_403) (or ?v_112 ?v_252 ?v_260 ?v_404) (or ?v_112 ?v_253 ?v_261 ?v_405) (or ?v_113 ?v_250 ?v_406 ?v_402) (or ?v_113 ?v_251 ?v_408 ?v_403) (or ?v_113 ?v_252 ?v_410 ?v_404) (or ?v_113 ?v_253 ?v_412 ?v_405) (or ?v_114 ?v_250 ?v_262 ?v_402) (or ?v_114 ?v_251 ?v_264 ?v_403) (or ?v_114 ?v_252 ?v_266 ?v_404) (or ?v_114 ?v_253 ?v_268 ?v_405) (or ?v_115 ?v_250 ?v_414 ?v_402) (or ?v_115 ?v_251 ?v_415 ?v_403) (or ?v_115 ?v_252 ?v_416 ?v_404) (or ?v_115 ?v_253 ?v_417 ?v_405) (or ?v_116 ?v_250 ?v_258 ?v_407) (or ?v_116 ?v_251 ?v_259 ?v_409) (or ?v_116 ?v_252 ?v_260 ?v_411) (or ?v_116 ?v_253 ?v_261 ?v_413) (or ?v_117 ?v_250 ?v_406 ?v_407) (or ?v_117 ?v_251 ?v_408 ?v_409) (or ?v_117 ?v_252 ?v_410 ?v_411) (or ?v_117 ?v_253 ?v_412 ?v_413) (or ?v_118 ?v_250 ?v_262 ?v_407) (or ?v_118 ?v_251 ?v_264 ?v_409) (or ?v_118 ?v_252 ?v_266 ?v_411) (or ?v_118 ?v_253 ?v_268 ?v_413) (or ?v_119 ?v_250 ?v_414 ?v_407) (or ?v_119 ?v_251 ?v_415 ?v_409) (or ?v_119 ?v_252 ?v_416 ?v_411) (or ?v_119 ?v_253 ?v_417 ?v_413) (or ?v_120 ?v_250 ?v_258 ?v_418) (or ?v_120 ?v_251 ?v_259 ?v_419) (or ?v_120 ?v_252 ?v_260 ?v_420) (or ?v_120 ?v_253 ?v_261 ?v_421) (or ?v_121 ?v_250 ?v_406 ?v_418) (or ?v_121 ?v_251 ?v_408 ?v_419) (or ?v_121 ?v_252 ?v_410 ?v_420) (or ?v_121 ?v_253 ?v_412 ?v_421) (or ?v_122 ?v_250 ?v_262 ?v_418) (or ?v_122 ?v_251 ?v_264 ?v_419) (or ?v_122 ?v_252 ?v_266 ?v_420) (or ?v_122 ?v_253 ?v_268 ?v_421) (or ?v_123 ?v_250 ?v_414 ?v_418) (or ?v_123 ?v_251 ?v_415 ?v_419) (or ?v_123 ?v_252 ?v_416 ?v_420) (or ?v_123 ?v_253 ?v_417 ?v_421) (or ?v_124 ?v_250 ?v_258 ?v_422) (or ?v_124 ?v_251 ?v_259 ?v_423) (or ?v_124 ?v_252 ?v_260 ?v_424) (or ?v_124 ?v_253 ?v_261 ?v_425) (or ?v_125 ?v_250 ?v_406 ?v_422) (or ?v_125 ?v_251 ?v_408 ?v_423) (or ?v_125 ?v_252 ?v_410 ?v_424) (or ?v_125 ?v_253 ?v_412 ?v_425) (or ?v_126 ?v_250 ?v_262 ?v_422) (or ?v_126 ?v_251 ?v_264 ?v_423) (or ?v_126 ?v_252 ?v_266 ?v_424) (or ?v_126 ?v_253 ?v_268 ?v_425) (or ?v_127 ?v_250 ?v_414 ?v_422) (or ?v_127 ?v_251 ?v_415 ?v_423) (or ?v_127 ?v_252 ?v_416 ?v_424) (or ?v_127 ?v_253 ?v_417 ?v_425) (or ?v_128 ?v_250 ?v_258 ?v_426) (or ?v_128 ?v_251 ?v_259 ?v_427) (or ?v_128 ?v_252 ?v_260 ?v_428) (or ?v_128 ?v_253 ?v_261 ?v_429) (or ?v_129 ?v_250 ?v_406 ?v_426) (or ?v_129 ?v_251 ?v_408 ?v_427) (or ?v_129 ?v_252 ?v_410 ?v_428) (or ?v_129 ?v_253 ?v_412 ?v_429) (or ?v_130 ?v_250 ?v_262 ?v_426) (or ?v_130 ?v_251 ?v_264 ?v_427) (or ?v_130 ?v_252 ?v_266 ?v_428) (or ?v_130 ?v_253 ?v_268 ?v_429) (or ?v_131 ?v_250 ?v_414 ?v_426) (or ?v_131 ?v_251 ?v_415 ?v_427) (or ?v_131 ?v_252 ?v_416 ?v_428) (or ?v_131 ?v_253 ?v_417 ?v_429) (or ?v_132 ?v_250 ?v_258 ?v_430) (or ?v_132 ?v_251 ?v_259 ?v_431) (or ?v_132 ?v_252 ?v_260 ?v_432) (or ?v_132 ?v_253 ?v_261 ?v_433) (or ?v_133 ?v_250 ?v_406 ?v_430) (or ?v_133 ?v_251 ?v_408 ?v_431) (or ?v_133 ?v_252 ?v_410 ?v_432) (or ?v_133 ?v_253 ?v_412 ?v_433) (or ?v_134 ?v_250 ?v_262 ?v_430) (or ?v_134 ?v_251 ?v_264 ?v_431) (or ?v_134 ?v_252 ?v_266 ?v_432) (or ?v_134 ?v_253 ?v_268 ?v_433) (or ?v_135 ?v_250 ?v_414 ?v_430) (or ?v_135 ?v_251 ?v_415 ?v_431) (or ?v_135 ?v_252 ?v_416 ?v_432) (or ?v_135 ?v_253 ?v_417 ?v_433) (or ?v_136 ?v_250 ?v_258 ?v_434) (or ?v_136 ?v_251 ?v_259 ?v_435) (or ?v_136 ?v_252 ?v_260 ?v_436) (or ?v_136 ?v_253 ?v_261 ?v_437) (or ?v_137 ?v_250 ?v_406 ?v_434) (or ?v_137 ?v_251 ?v_408 ?v_435) (or ?v_137 ?v_252 ?v_410 ?v_436) (or ?v_137 ?v_253 ?v_412 ?v_437) (or ?v_138 ?v_250 ?v_262 ?v_434) (or ?v_138 ?v_251 ?v_264 ?v_435) (or ?v_138 ?v_252 ?v_266 ?v_436) (or ?v_138 ?v_253 ?v_268 ?v_437) (or ?v_139 ?v_250 ?v_414 ?v_434) (or ?v_139 ?v_251 ?v_415 ?v_435) (or ?v_139 ?v_252 ?v_416 ?v_436) (or ?v_139 ?v_253 ?v_417 ?v_437) (or ?v_140 ?v_250 ?v_258 ?v_438) (or ?v_140 ?v_251 ?v_259 ?v_439) (or ?v_140 ?v_252 ?v_260 ?v_440) (or ?v_140 ?v_253 ?v_261 ?v_441) (or ?v_141 ?v_250 ?v_406 ?v_438) (or ?v_141 ?v_251 ?v_408 ?v_439) (or ?v_141 ?v_252 ?v_410 ?v_440) (or ?v_141 ?v_253 ?v_412 ?v_441) (or ?v_142 ?v_250 ?v_262 ?v_438) (or ?v_142 ?v_251 ?v_264 ?v_439) (or ?v_142 ?v_252 ?v_266 ?v_440) (or ?v_142 ?v_253 ?v_268 ?v_441) (or ?v_143 ?v_250 ?v_414 ?v_438) (or ?v_143 ?v_251 ?v_415 ?v_439) (or ?v_143 ?v_252 ?v_416 ?v_440) (or ?v_143 ?v_253 ?v_417 ?v_441) (or ?v_144 ?v_250 ?v_258 ?v_442) (or ?v_144 ?v_251 ?v_259 ?v_443) (or ?v_144 ?v_252 ?v_260 ?v_444) (or ?v_144 ?v_253 ?v_261 ?v_445) (or ?v_145 ?v_250 ?v_406 ?v_442) (or ?v_145 ?v_251 ?v_408 ?v_443) (or ?v_145 ?v_252 ?v_410 ?v_444) (or ?v_145 ?v_253 ?v_412 ?v_445) (or ?v_146 ?v_250 ?v_262 ?v_442) (or ?v_146 ?v_251 ?v_264 ?v_443) (or ?v_146 ?v_252 ?v_266 ?v_444) (or ?v_146 ?v_253 ?v_268 ?v_445) (or ?v_147 ?v_250 ?v_414 ?v_442) (or ?v_147 ?v_251 ?v_415 ?v_443) (or ?v_147 ?v_252 ?v_416 ?v_444) (or ?v_147 ?v_253 ?v_417 ?v_445) (or ?v_148 ?v_298 ?v_306 ?v_446) (or ?v_148 ?v_299 ?v_307 ?v_447) (or ?v_148 ?v_300 ?v_308 ?v_448) (or ?v_148 ?v_301 ?v_309 ?v_449) (or ?v_149 ?v_298 ?v_450 ?v_446) (or ?v_149 ?v_299 ?v_452 ?v_447) (or ?v_149 ?v_300 ?v_454 ?v_448) (or ?v_149 ?v_301 ?v_456 ?v_449) (or ?v_150 ?v_298 ?v_310 ?v_446) (or ?v_150 ?v_299 ?v_312 ?v_447) (or ?v_150 ?v_300 ?v_314 ?v_448) (or ?v_150 ?v_301 ?v_316 ?v_449) (or ?v_151 ?v_298 ?v_458 ?v_446) (or ?v_151 ?v_299 ?v_459 ?v_447) (or ?v_151 ?v_300 ?v_460 ?v_448) (or ?v_151 ?v_301 ?v_461 ?v_449) (or ?v_152 ?v_298 ?v_306 ?v_451) (or ?v_152 ?v_299 ?v_307 ?v_453) (or ?v_152 ?v_300 ?v_308 ?v_455) (or ?v_152 ?v_301 ?v_309 ?v_457) (or ?v_153 ?v_298 ?v_450 ?v_451) (or ?v_153 ?v_299 ?v_452 ?v_453) (or ?v_153 ?v_300 ?v_454 ?v_455) (or ?v_153 ?v_301 ?v_456 ?v_457) (or ?v_154 ?v_298 ?v_310 ?v_451) (or ?v_154 ?v_299 ?v_312 ?v_453) (or ?v_154 ?v_300 ?v_314 ?v_455) (or ?v_154 ?v_301 ?v_316 ?v_457) (or ?v_155 ?v_298 ?v_458 ?v_451) (or ?v_155 ?v_299 ?v_459 ?v_453) (or ?v_155 ?v_300 ?v_460 ?v_455) (or ?v_155 ?v_301 ?v_461 ?v_457) (or ?v_156 ?v_298 ?v_306 ?v_462) (or ?v_156 ?v_299 ?v_307 ?v_463) (or ?v_156 ?v_300 ?v_308 ?v_464) (or ?v_156 ?v_301 ?v_309 ?v_465) (or ?v_157 ?v_298 ?v_450 ?v_462) (or ?v_157 ?v_299 ?v_452 ?v_463) (or ?v_157 ?v_300 ?v_454 ?v_464) (or ?v_157 ?v_301 ?v_456 ?v_465) (or ?v_158 ?v_298 ?v_310 ?v_462) (or ?v_158 ?v_299 ?v_312 ?v_463) (or ?v_158 ?v_300 ?v_314 ?v_464) (or ?v_158 ?v_301 ?v_316 ?v_465) (or ?v_159 ?v_298 ?v_458 ?v_462) (or ?v_159 ?v_299 ?v_459 ?v_463) (or ?v_159 ?v_300 ?v_460 ?v_464) (or ?v_159 ?v_301 ?v_461 ?v_465) (or ?v_160 ?v_298 ?v_306 ?v_466) (or ?v_160 ?v_299 ?v_307 ?v_467) (or ?v_160 ?v_300 ?v_308 ?v_468) (or ?v_160 ?v_301 ?v_309 ?v_469) (or ?v_161 ?v_298 ?v_450 ?v_466) (or ?v_161 ?v_299 ?v_452 ?v_467) (or ?v_161 ?v_300 ?v_454 ?v_468) (or ?v_161 ?v_301 ?v_456 ?v_469) (or ?v_162 ?v_298 ?v_310 ?v_466) (or ?v_162 ?v_299 ?v_312 ?v_467) (or ?v_162 ?v_300 ?v_314 ?v_468) (or ?v_162 ?v_301 ?v_316 ?v_469) (or ?v_163 ?v_298 ?v_458 ?v_466) (or ?v_163 ?v_299 ?v_459 ?v_467) (or ?v_163 ?v_300 ?v_460 ?v_468) (or ?v_163 ?v_301 ?v_461 ?v_469) (or ?v_164 ?v_298 ?v_306 ?v_470) (or ?v_164 ?v_299 ?v_307 ?v_471) (or ?v_164 ?v_300 ?v_308 ?v_472) (or ?v_164 ?v_301 ?v_309 ?v_473) (or ?v_165 ?v_298 ?v_450 ?v_470) (or ?v_165 ?v_299 ?v_452 ?v_471) (or ?v_165 ?v_300 ?v_454 ?v_472) (or ?v_165 ?v_301 ?v_456 ?v_473) (or ?v_166 ?v_298 ?v_310 ?v_470) (or ?v_166 ?v_299 ?v_312 ?v_471) (or ?v_166 ?v_300 ?v_314 ?v_472) (or ?v_166 ?v_301 ?v_316 ?v_473) (or ?v_167 ?v_298 ?v_458 ?v_470) (or ?v_167 ?v_299 ?v_459 ?v_471) (or ?v_167 ?v_300 ?v_460 ?v_472) (or ?v_167 ?v_301 ?v_461 ?v_473) (or ?v_168 ?v_298 ?v_306 ?v_474) (or ?v_168 ?v_299 ?v_307 ?v_475) (or ?v_168 ?v_300 ?v_308 ?v_476) (or ?v_168 ?v_301 ?v_309 ?v_477) (or ?v_169 ?v_298 ?v_450 ?v_474) (or ?v_169 ?v_299 ?v_452 ?v_475) (or ?v_169 ?v_300 ?v_454 ?v_476) (or ?v_169 ?v_301 ?v_456 ?v_477) (or ?v_170 ?v_298 ?v_310 ?v_474) (or ?v_170 ?v_299 ?v_312 ?v_475) (or ?v_170 ?v_300 ?v_314 ?v_476) (or ?v_170 ?v_301 ?v_316 ?v_477) (or ?v_171 ?v_298 ?v_458 ?v_474) (or ?v_171 ?v_299 ?v_459 ?v_475) (or ?v_171 ?v_300 ?v_460 ?v_476) (or ?v_171 ?v_301 ?v_461 ?v_477) (or ?v_172 ?v_298 ?v_306 ?v_478) (or ?v_172 ?v_299 ?v_307 ?v_479) (or ?v_172 ?v_300 ?v_308 ?v_480) (or ?v_172 ?v_301 ?v_309 ?v_481) (or ?v_173 ?v_298 ?v_450 ?v_478) (or ?v_173 ?v_299 ?v_452 ?v_479) (or ?v_173 ?v_300 ?v_454 ?v_480) (or ?v_173 ?v_301 ?v_456 ?v_481) (or ?v_174 ?v_298 ?v_310 ?v_478) (or ?v_174 ?v_299 ?v_312 ?v_479) (or ?v_174 ?v_300 ?v_314 ?v_480) (or ?v_174 ?v_301 ?v_316 ?v_481) (or ?v_175 ?v_298 ?v_458 ?v_478) (or ?v_175 ?v_299 ?v_459 ?v_479) (or ?v_175 ?v_300 ?v_460 ?v_480) (or ?v_175 ?v_301 ?v_461 ?v_481) (or ?v_176 ?v_298 ?v_306 ?v_482) (or ?v_176 ?v_299 ?v_307 ?v_483) (or ?v_176 ?v_300 ?v_308 ?v_484) (or ?v_176 ?v_301 ?v_309 ?v_485) (or ?v_177 ?v_298 ?v_450 ?v_482) (or ?v_177 ?v_299 ?v_452 ?v_483) (or ?v_177 ?v_300 ?v_454 ?v_484) (or ?v_177 ?v_301 ?v_456 ?v_485) (or ?v_178 ?v_298 ?v_310 ?v_482) (or ?v_178 ?v_299 ?v_312 ?v_483) (or ?v_178 ?v_300 ?v_314 ?v_484) (or ?v_178 ?v_301 ?v_316 ?v_485) (or ?v_179 ?v_298 ?v_458 ?v_482) (or ?v_179 ?v_299 ?v_459 ?v_483) (or ?v_179 ?v_300 ?v_460 ?v_484) (or ?v_179 ?v_301 ?v_461 ?v_485) (or ?v_180 ?v_298 ?v_306 ?v_486) (or ?v_180 ?v_299 ?v_307 ?v_487) (or ?v_180 ?v_300 ?v_308 ?v_488) (or ?v_180 ?v_301 ?v_309 ?v_489) (or ?v_181 ?v_298 ?v_450 ?v_486) (or ?v_181 ?v_299 ?v_452 ?v_487) (or ?v_181 ?v_300 ?v_454 ?v_488) (or ?v_181 ?v_301 ?v_456 ?v_489) (or ?v_182 ?v_298 ?v_310 ?v_486) (or ?v_182 ?v_299 ?v_312 ?v_487) (or ?v_182 ?v_300 ?v_314 ?v_488) (or ?v_182 ?v_301 ?v_316 ?v_489) (or ?v_183 ?v_298 ?v_458 ?v_486) (or ?v_183 ?v_299 ?v_459 ?v_487) (or ?v_183 ?v_300 ?v_460 ?v_488) (or ?v_183 ?v_301 ?v_461 ?v_489) (or ?v_184 ?v_366 (> ?v_490 8) ?v_494) (or ?v_184 ?v_367 ?v_699 ?v_495) (or ?v_185 ?v_366 ?v_700 ?v_494) (or ?v_185 ?v_367 (> (- t_COOKING_LARDON_o1_l14 t_COOKING_LARDON_o1_l14) 8) ?v_495) (or ?v_186 ?v_368 (> ?v_496 16) ?v_500) (or ?v_186 ?v_369 ?v_625 ?v_501) (or ?v_187 ?v_368 ?v_626 ?v_500) (or ?v_187 ?v_369 (> (- t_COOKING_NOODLES_w1_n14 t_COOKING_NOODLES_w1_n14) 16) ?v_501) (or ?v_188 ?v_0 (>= (- t_COOKING_CARBONARA_n1_l1_e14 t_COOKING_CARBONARA_n1_l1_e14) 0) (>= (- t_COOKING_CARBONARA_n1_l1_e14 t_EATING_CARBONARA_n1_l1_e15) 5)) (or ?v_189 ?v_370 (> ?v_502 8) ?v_506) (or ?v_189 ?v_371 ?v_633 ?v_507) (or ?v_190 ?v_370 ?v_634 ?v_506) (or ?v_190 ?v_371 (> (- t_COOKING_LARDON_o1_l24 t_COOKING_LARDON_o1_l24) 8) ?v_507) (or ?v_191 ?v_372 (> ?v_508 16) ?v_512) (or ?v_191 ?v_373 ?v_665 ?v_513) (or ?v_192 ?v_372 ?v_666 ?v_512) (or ?v_192 ?v_373 (> (- t_COOKING_NOODLES_w1_n24 t_COOKING_NOODLES_w1_n24) 16) ?v_513) (or ?v_193 ?v_1 (>= (- t_COOKING_CARBONARA_n2_l2_e24 t_COOKING_CARBONARA_n2_l2_e24) 0) (>= (- t_COOKING_CARBONARA_n2_l2_e24 t_EATING_CARBONARA_n2_l2_e25) 5)) (or ?v_194 ?v_374 (> ?v_514 8) ?v_518) (or ?v_194 ?v_375 ?v_675 ?v_519) (or ?v_195 ?v_374 ?v_676 ?v_518) (or ?v_195 ?v_375 (> (- t_COOKING_LARDON_o1_l34 t_COOKING_LARDON_o1_l34) 8) ?v_519) (or ?v_196 ?v_376 (> ?v_520 16) ?v_524) (or ?v_196 ?v_377 ?v_607 ?v_525) (or ?v_197 ?v_376 ?v_608 ?v_524) (or ?v_197 ?v_377 (> (- t_COOKING_NOODLES_w1_n34 t_COOKING_NOODLES_w1_n34) 16) ?v_525) (or ?v_198 ?v_2 (>= (- t_COOKING_CARBONARA_n3_l3_e34 t_COOKING_CARBONARA_n3_l3_e34) 0) (>= (- t_COOKING_CARBONARA_n3_l3_e34 t_EATING_CARBONARA_n3_l3_e35) 5)) (or ?v_199 ?v_378 (> ?v_526 8) ?v_530) (or ?v_199 ?v_379 ?v_617 ?v_531) (or ?v_200 ?v_378 ?v_618 ?v_530) (or ?v_200 ?v_379 (> (- t_COOKING_LARDON_o1_l44 t_COOKING_LARDON_o1_l44) 8) ?v_531) (or ?v_201 ?v_380 (> ?v_532 16) ?v_536) (or ?v_201 ?v_381 ?v_653 ?v_537) (or ?v_202 ?v_380 ?v_654 ?v_536) (or ?v_202 ?v_381 (> (- t_COOKING_NOODLES_w1_n44 t_COOKING_NOODLES_w1_n44) 16) ?v_537) (or ?v_203 ?v_3 (>= (- t_COOKING_CARBONARA_n4_l4_e44 t_COOKING_CARBONARA_n4_l4_e44) 0) (>= (- t_COOKING_CARBONARA_n4_l4_e44 t_EATING_CARBONARA_n4_l4_e45) 5)) (or ?v_204 ?v_382 (> ?v_538 8) ?v_542) (or ?v_204 ?v_383 ?v_661 ?v_543) (or ?v_205 ?v_382 ?v_662 ?v_542) (or ?v_205 ?v_383 (> (- t_COOKING_LARDON_o1_l54 t_COOKING_LARDON_o1_l54) 8) ?v_543) (or ?v_206 ?v_384 (> ?v_544 16) ?v_548) (or ?v_206 ?v_385 ?v_695 ?v_549) (or ?v_207 ?v_384 ?v_696 ?v_548) (or ?v_207 ?v_385 (> (- t_COOKING_NOODLES_w1_n54 t_COOKING_NOODLES_w1_n54) 16) ?v_549) (or ?v_208 ?v_4 (>= (- t_COOKING_CARBONARA_n5_l5_e54 t_COOKING_CARBONARA_n5_l5_e54) 0) (>= (- t_COOKING_CARBONARA_n5_l5_e54 t_EATING_CARBONARA_n5_l5_e55) 5)) (or ?v_209 ?v_386 (> ?v_550 8) ?v_554) (or ?v_209 ?v_387 ?v_703 ?v_555) (or ?v_210 ?v_386 ?v_704 ?v_554) (or ?v_210 ?v_387 (> (- t_COOKING_LARDON_o1_l64 t_COOKING_LARDON_o1_l64) 8) ?v_555) (or ?v_211 ?v_388 (> ?v_556 16) ?v_560) (or ?v_211 ?v_389 ?v_629 ?v_561) (or ?v_212 ?v_388 ?v_630 ?v_560) (or ?v_212 ?v_389 (> (- t_COOKING_NOODLES_w1_n64 t_COOKING_NOODLES_w1_n64) 16) ?v_561) (or ?v_213 ?v_5 (>= (- t_COOKING_CARBONARA_n6_l6_e64 t_COOKING_CARBONARA_n6_l6_e64) 0) (>= (- t_COOKING_CARBONARA_n6_l6_e64 t_EATING_CARBONARA_n6_l6_e65) 5)) (or ?v_214 ?v_390 (> ?v_562 8) ?v_566) (or ?v_214 ?v_391 ?v_637 ?v_567) (or ?v_215 ?v_390 ?v_638 ?v_566) (or ?v_215 ?v_391 (> (- t_COOKING_LARDON_o1_l74 t_COOKING_LARDON_o1_l74) 8) ?v_567) (or ?v_216 ?v_392 (> ?v_568 16) ?v_572) (or ?v_216 ?v_393 ?v_671 ?v_573) (or ?v_217 ?v_392 ?v_672 ?v_572) (or ?v_217 ?v_393 (> (- t_COOKING_NOODLES_w1_n74 t_COOKING_NOODLES_w1_n74) 16) ?v_573) (or ?v_218 ?v_6 (>= (- t_COOKING_CARBONARA_n7_l7_e74 t_COOKING_CARBONARA_n7_l7_e74) 0) (>= (- t_COOKING_CARBONARA_n7_l7_e74 t_EATING_CARBONARA_n7_l7_e75) 5)) (or ?v_219 ?v_394 (> ?v_574 8) ?v_578) (or ?v_219 ?v_395 ?v_679 ?v_579) (or ?v_220 ?v_394 ?v_680 ?v_578) (or ?v_220 ?v_395 (> (- t_COOKING_LARDON_o1_l84 t_COOKING_LARDON_o1_l84) 8) ?v_579) (or ?v_221 ?v_396 (> ?v_580 16) ?v_584) (or ?v_221 ?v_397 ?v_613 ?v_585) (or ?v_222 ?v_396 ?v_614 ?v_584) (or ?v_222 ?v_397 (> (- t_COOKING_NOODLES_w1_n84 t_COOKING_NOODLES_w1_n84) 16) ?v_585) (or ?v_223 ?v_7 (>= (- t_COOKING_CARBONARA_n8_l8_e84 t_COOKING_CARBONARA_n8_l8_e84) 0) (>= (- t_COOKING_CARBONARA_n8_l8_e84 t_EATING_CARBONARA_n8_l8_e85) 5)) (or ?v_224 ?v_398 (> ?v_586 8) ?v_590) (or ?v_224 ?v_399 ?v_621 ?v_591) (or ?v_225 ?v_398 ?v_622 ?v_590) (or ?v_225 ?v_399 (> (- t_COOKING_LARDON_o1_l94 t_COOKING_LARDON_o1_l94) 8) ?v_591) (or ?v_226 ?v_400 (> ?v_592 16) ?v_596) (or ?v_226 ?v_401 ?v_657 ?v_597) (or ?v_227 ?v_400 ?v_658 ?v_596) (or ?v_227 ?v_401 (> (- t_COOKING_NOODLES_w1_n94 t_COOKING_NOODLES_w1_n94) 16) ?v_597) (or ?v_228 ?v_8 (>= (- t_COOKING_CARBONARA_n9_l9_e94 t_COOKING_CARBONARA_n9_l9_e94) 0) (>= (- t_COOKING_CARBONARA_n9_l9_e94 t_EATING_CARBONARA_n9_l9_e95) 5)) (or ?v_229 ?v_9 (>= (- t_EATING_CARBONARA_n1_l1_e15 t_EATING_CARBONARA_n1_l1_e15) 0) (< ?v_598 0)) (or ?v_230 ?v_10 (>= (- t_EATING_CARBONARA_n2_l2_e25 t_EATING_CARBONARA_n2_l2_e25) 0) (< ?v_599 0)) (or ?v_231 ?v_11 (>= (- t_EATING_CARBONARA_n3_l3_e35 t_EATING_CARBONARA_n3_l3_e35) 0) (< ?v_600 0)) (or ?v_232 ?v_12 (>= (- t_EATING_CARBONARA_n4_l4_e45 t_EATING_CARBONARA_n4_l4_e45) 0) (< ?v_601 0)) (or ?v_233 ?v_13 (>= (- t_EATING_CARBONARA_n5_l5_e55 t_EATING_CARBONARA_n5_l5_e55) 0) (< ?v_602 0)) (or ?v_234 ?v_14 (>= (- t_EATING_CARBONARA_n6_l6_e65 t_EATING_CARBONARA_n6_l6_e65) 0) (< ?v_603 0)) (or ?v_235 ?v_15 (>= (- t_EATING_CARBONARA_n7_l7_e75 t_EATING_CARBONARA_n7_l7_e75) 0) (< ?v_604 0)) (or ?v_236 ?v_16 (>= (- t_EATING_CARBONARA_n8_l8_e85 t_EATING_CARBONARA_n8_l8_e85) 0) (< ?v_605 0)) (or ?v_237 ?v_17 (>= (- t_EATING_CARBONARA_n9_l9_e95 t_EATING_CARBONARA_n9_l9_e95) 0) (< ?v_606 0)) (or ?v_376 ?v_377 ?v_607 (<= ?v_522 8)) (or ?v_377 ?v_376 ?v_608 (<= ?v_609 8)) (or ?v_245 ?v_248 ?v_249 (< ?v_610 0)) (or ?v_248 ?v_245 ?v_362 (< ?v_611 0)) (or ?v_376 ?v_377 ?v_612 (> ?v_609 6)) (or ?v_377 ?v_376 (>= ?v_609 0) (> ?v_522 6)) (or ?v_396 ?v_397 ?v_613 (<= ?v_582 8)) (or ?v_397 ?v_396 ?v_614 (<= ?v_615 8)) (or ?v_396 ?v_397 ?v_616 (> ?v_615 6)) (or ?v_397 ?v_396 (>= ?v_615 0) (> ?v_582 6)) (or ?v_378 ?v_379 ?v_617 (<= ?v_528 0)) (or ?v_379 ?v_378 ?v_618 (<= ?v_619 0)) (or ?v_378 ?v_379 ?v_620 (> ?v_619 5)) (or ?v_379 ?v_378 (>= ?v_619 0) (> ?v_528 5)) (or ?v_398 ?v_399 ?v_621 (<= ?v_588 0)) (or ?v_399 ?v_398 ?v_622 (<= ?v_623 0)) (or ?v_398 ?v_399 ?v_624 (> ?v_623 5)) (or ?v_399 ?v_398 (>= ?v_623 0) (> ?v_588 5)) (or ?v_368 ?v_369 ?v_625 (<= ?v_498 8)) (or ?v_369 ?v_368 ?v_626 (<= ?v_627 8)) (or ?v_368 ?v_369 ?v_628 (> ?v_627 6)) (or ?v_369 ?v_368 (>= ?v_627 0) (> ?v_498 6)) (or ?v_388 ?v_389 ?v_629 (<= ?v_558 8)) (or ?v_389 ?v_388 ?v_630 (<= ?v_631 8)) (or ?v_388 ?v_389 ?v_632 (> ?v_631 6)) (or ?v_389 ?v_388 (>= ?v_631 0) (> ?v_558 6)) (or ?v_370 ?v_371 ?v_633 (<= ?v_504 0)) (or ?v_371 ?v_370 ?v_634 (<= ?v_635 0)) (or ?v_370 ?v_371 ?v_636 (> ?v_635 5)) (or ?v_371 ?v_370 (>= ?v_635 0) (> ?v_504 5)) (or ?v_390 ?v_391 ?v_637 (<= ?v_564 0)) (or ?v_391 ?v_390 ?v_638 (<= ?v_639 0)) (or ?v_390 ?v_391 ?v_640 (> ?v_639 5)) (or ?v_391 ?v_390 (>= ?v_639 0) (> ?v_564 5)) (or ?v_298 ?v_300 ?v_308 (> ?v_641 10)) (or ?v_298 ?v_299 ?v_307 (> ?v_642 10)) (or ?v_298 ?v_301 ?v_309 (> ?v_643 10)) (or ?v_300 ?v_298 ?v_310 (> ?v_644 10)) (or ?v_300 ?v_299 ?v_312 (> ?v_645 10)) (or ?v_300 ?v_301 ?v_316 (> ?v_646 10)) (or ?v_299 ?v_298 ?v_450 (> ?v_647 10)) (or ?v_299 ?v_300 ?v_454 (> ?v_648 10)) (or ?v_299 ?v_301 ?v_456 (> ?v_649 10)) (or ?v_301 ?v_298 ?v_458 (> ?v_650 10)) (or ?v_301 ?v_300 ?v_460 (> ?v_651 10)) (or ?v_301 ?v_299 ?v_459 (> ?v_652 10)) (or ?v_380 ?v_381 ?v_653 (<= ?v_534 8)) (or ?v_381 ?v_380 ?v_654 (<= ?v_655 8)) (or ?v_380 ?v_381 ?v_656 (> ?v_655 6)) (or ?v_381 ?v_380 (>= ?v_655 0) (> ?v_534 6)) (or ?v_400 ?v_401 ?v_657 (<= ?v_594 8)) (or ?v_401 ?v_400 ?v_658 (<= ?v_659 8)) (or ?v_400 ?v_401 ?v_660 (> ?v_659 6)) (or ?v_401 ?v_400 (>= ?v_659 0) (> ?v_594 6)) (or ?v_382 ?v_383 ?v_661 (<= ?v_540 0)) (or ?v_383 ?v_382 ?v_662 (<= ?v_663 0)) (or ?v_382 ?v_383 ?v_664 (> ?v_663 5)) (or ?v_383 ?v_382 (>= ?v_663 0) (> ?v_540 5)) (or ?v_372 ?v_373 ?v_665 (<= ?v_510 8)) (or ?v_373 ?v_372 ?v_666 (<= ?v_667 8)) (or ?v_240 ?v_243 ?v_244 (< ?v_668 0)) (or ?v_243 ?v_240 ?v_356 (< ?v_669 0)) (or ?v_372 ?v_373 ?v_670 (> ?v_667 6)) (or ?v_373 ?v_372 (>= ?v_667 0) (> ?v_510 6)) (or ?v_392 ?v_393 ?v_671 (<= ?v_570 8)) (or ?v_393 ?v_392 ?v_672 (<= ?v_673 8)) (or ?v_392 ?v_393 ?v_674 (> ?v_673 6)) (or ?v_393 ?v_392 (>= ?v_673 0) (> ?v_570 6)) (or ?v_374 ?v_375 ?v_675 (<= ?v_516 0)) (or ?v_375 ?v_374 ?v_676 (<= ?v_677 0)) (or ?v_374 ?v_375 ?v_678 (> ?v_677 5)) (or ?v_375 ?v_374 (>= ?v_677 0) (> ?v_516 5)) (or ?v_394 ?v_395 ?v_679 (<= ?v_576 0)) (or ?v_395 ?v_394 ?v_680 (<= ?v_681 0)) (or ?v_394 ?v_395 ?v_682 (> ?v_681 5)) (or ?v_395 ?v_394 (>= ?v_681 0) (> ?v_576 5)) (or ?v_250 ?v_252 ?v_260 (> ?v_683 10)) (or ?v_250 ?v_251 ?v_259 (> ?v_684 10)) (or ?v_250 ?v_253 ?v_261 (> ?v_685 10)) (or ?v_252 ?v_250 ?v_262 (> ?v_686 10)) (or ?v_252 ?v_251 ?v_264 (> ?v_687 10)) (or ?v_252 ?v_253 ?v_268 (> ?v_688 10)) (or ?v_251 ?v_250 ?v_406 (> ?v_689 10)) (or ?v_251 ?v_252 ?v_410 (> ?v_690 10)) (or ?v_251 ?v_253 ?v_412 (> ?v_691 10)) (or ?v_253 ?v_250 ?v_414 (> ?v_692 10)) (or ?v_253 ?v_252 ?v_416 (> ?v_693 10)) (or ?v_253 ?v_251 ?v_415 (> ?v_694 10)) (or ?v_384 ?v_385 ?v_695 (<= ?v_546 8)) (or ?v_385 ?v_384 ?v_696 (<= ?v_697 8)) (or ?v_384 ?v_385 ?v_698 (> ?v_697 6)) (or ?v_385 ?v_384 (>= ?v_697 0) (> ?v_546 6)) (or ?v_366 ?v_367 ?v_699 (<= ?v_492 0)) (or ?v_367 ?v_366 ?v_700 (<= ?v_701 0)) (or ?v_366 ?v_367 ?v_702 (> ?v_701 5)) (or ?v_367 ?v_366 (>= ?v_701 0) (> ?v_492 5)) (or ?v_386 ?v_387 ?v_703 (<= ?v_552 0)) (or ?v_387 ?v_386 ?v_704 (<= ?v_705 0)) (or ?v_386 ?v_387 ?v_706 (> ?v_705 5)) (or ?v_387 ?v_386 (>= ?v_705 0) (> ?v_552 5)) (>= t_Goal t_Init) (or ?v_707 (>= t_BREAKING_EGGS_e11 t_Init)) (or ?v_707 (>= (- t_Goal t_BREAKING_EGGS_e11) 2)) (or ?v_708 (>= t_BREAKING_EGGS_e21 t_Init)) (or ?v_708 (>= (- t_Goal t_BREAKING_EGGS_e21) 2)) (or ?v_709 (>= t_BREAKING_EGGS_e31 t_Init)) (or ?v_709 (>= (- t_Goal t_BREAKING_EGGS_e31) 2)) (or ?v_710 (>= t_BREAKING_EGGS_e41 t_Init)) (or ?v_710 (>= (- t_Goal t_BREAKING_EGGS_e41) 2)) (or ?v_711 (>= t_BREAKING_EGGS_e51 t_Init)) (or ?v_711 (>= (- t_Goal t_BREAKING_EGGS_e51) 2)) (or ?v_712 (>= t_BREAKING_EGGS_e61 t_Init)) (or ?v_712 (>= (- t_Goal t_BREAKING_EGGS_e61) 2)) (or ?v_713 (>= t_BREAKING_EGGS_e71 t_Init)) (or ?v_713 (>= (- t_Goal t_BREAKING_EGGS_e71) 2)) (or ?v_714 (>= t_BREAKING_EGGS_e81 t_Init)) (or ?v_714 (>= (- t_Goal t_BREAKING_EGGS_e81) 2)) (or ?v_715 (>= t_BREAKING_EGGS_e91 t_Init)) (or ?v_715 (>= (- t_Goal t_BREAKING_EGGS_e91) 2)) (or ?v_240 (>= t_FIRE_COOKING_PLATE_p11 t_Init)) (or ?v_240 (>= (- t_Goal t_FIRE_COOKING_PLATE_p11) 15)) (or ?v_245 (>= t_FIRE_COOKING_PLATE_p21 t_Init)) (or ?v_245 (>= (- t_Goal t_FIRE_COOKING_PLATE_p21) 15)) (or ?v_716 (>= t_BREAKING_EGGS_e12 t_Init)) (or ?v_716 (>= (- t_Goal t_BREAKING_EGGS_e12) 2)) (or ?v_717 (>= t_BREAKING_EGGS_e22 t_Init)) (or ?v_717 (>= (- t_Goal t_BREAKING_EGGS_e22) 2)) (or ?v_718 (>= t_BREAKING_EGGS_e32 t_Init)) (or ?v_718 (>= (- t_Goal t_BREAKING_EGGS_e32) 2)) (or ?v_719 (>= t_BREAKING_EGGS_e42 t_Init)) (or ?v_719 (>= (- t_Goal t_BREAKING_EGGS_e42) 2)) (or ?v_720 (>= t_BREAKING_EGGS_e52 t_Init)) (or ?v_720 (>= (- t_Goal t_BREAKING_EGGS_e52) 2)) (or ?v_721 (>= t_BREAKING_EGGS_e62 t_Init)) (or ?v_721 (>= (- t_Goal t_BREAKING_EGGS_e62) 2)) (or ?v_722 (>= t_BREAKING_EGGS_e72 t_Init)) (or ?v_722 (>= (- t_Goal t_BREAKING_EGGS_e72) 2)) (or ?v_723 (>= t_BREAKING_EGGS_e82 t_Init)) (or ?v_723 (>= (- t_Goal t_BREAKING_EGGS_e82) 2)) (or ?v_724 (>= t_BREAKING_EGGS_e92 t_Init)) (or ?v_724 (>= (- t_Goal t_BREAKING_EGGS_e92) 2)) (or ?v_252 (>= t_BOILING_OIL_p1_o12 t_Init)) (or ?v_252 (>= (- t_Goal t_BOILING_OIL_p1_o12) 10)) (or ?v_250 (>= t_BOILING_OIL_p2_o12 t_Init)) (or ?v_250 (>= (- t_Goal t_BOILING_OIL_p2_o12) 10)) (or ?v_300 (>= t_BOILING_WATER_p1_w12 t_Init)) (or ?v_300 (>= (- t_Goal t_BOILING_WATER_p1_w12) 10)) (or ?v_298 (>= t_BOILING_WATER_p2_w12 t_Init)) (or ?v_298 (>= (- t_Goal t_BOILING_WATER_p2_w12) 10)) (or ?v_243 (>= t_FIRE_COOKING_PLATE_p12 t_Init)) (or ?v_243 (>= (- t_Goal t_FIRE_COOKING_PLATE_p12) 15)) (or ?v_248 (>= t_FIRE_COOKING_PLATE_p22 t_Init)) (or ?v_248 (>= (- t_Goal t_FIRE_COOKING_PLATE_p22) 15)) (or ?v_725 (>= t_BREAKING_EGGS_e13 t_Init)) (or ?v_725 (>= (- t_Goal t_BREAKING_EGGS_e13) 2)) (or ?v_726 (>= t_BREAKING_EGGS_e23 t_Init)) (or ?v_726 (>= (- t_Goal t_BREAKING_EGGS_e23) 2)) (or ?v_727 (>= t_BREAKING_EGGS_e33 t_Init)) (or ?v_727 (>= (- t_Goal t_BREAKING_EGGS_e33) 2)) (or ?v_728 (>= t_BREAKING_EGGS_e43 t_Init)) (or ?v_728 (>= (- t_Goal t_BREAKING_EGGS_e43) 2)) (or ?v_729 (>= t_BREAKING_EGGS_e53 t_Init)) (or ?v_729 (>= (- t_Goal t_BREAKING_EGGS_e53) 2)) (or ?v_730 (>= t_BREAKING_EGGS_e63 t_Init)) (or ?v_730 (>= (- t_Goal t_BREAKING_EGGS_e63) 2)) (or ?v_731 (>= t_BREAKING_EGGS_e73 t_Init)) (or ?v_731 (>= (- t_Goal t_BREAKING_EGGS_e73) 2)) (or ?v_732 (>= t_BREAKING_EGGS_e83 t_Init)) (or ?v_732 (>= (- t_Goal t_BREAKING_EGGS_e83) 2)) (or ?v_733 (>= t_BREAKING_EGGS_e93 t_Init)) (or ?v_733 (>= (- t_Goal t_BREAKING_EGGS_e93) 2)) (or ?v_366 (>= t_COOKING_LARDON_o1_l13 t_Init)) (or ?v_366 (>= (- t_Goal t_COOKING_LARDON_o1_l13) 13)) (or ?v_370 (>= t_COOKING_LARDON_o1_l23 t_Init)) (or ?v_370 (>= (- t_Goal t_COOKING_LARDON_o1_l23) 13)) (or ?v_374 (>= t_COOKING_LARDON_o1_l33 t_Init)) (or ?v_374 (>= (- t_Goal t_COOKING_LARDON_o1_l33) 13)) (or ?v_378 (>= t_COOKING_LARDON_o1_l43 t_Init)) (or ?v_378 (>= (- t_Goal t_COOKING_LARDON_o1_l43) 13)) (or ?v_382 (>= t_COOKING_LARDON_o1_l53 t_Init)) (or ?v_382 (>= (- t_Goal t_COOKING_LARDON_o1_l53) 13)) (or ?v_386 (>= t_COOKING_LARDON_o1_l63 t_Init)) (or ?v_386 (>= (- t_Goal t_COOKING_LARDON_o1_l63) 13)) (or ?v_390 (>= t_COOKING_LARDON_o1_l73 t_Init)) (or ?v_390 (>= (- t_Goal t_COOKING_LARDON_o1_l73) 13)) (or ?v_394 (>= t_COOKING_LARDON_o1_l83 t_Init)) (or ?v_394 (>= (- t_Goal t_COOKING_LARDON_o1_l83) 13)) (or ?v_398 (>= t_COOKING_LARDON_o1_l93 t_Init)) (or ?v_398 (>= (- t_Goal t_COOKING_LARDON_o1_l93) 13)) (or ?v_368 (>= t_COOKING_NOODLES_w1_n13 t_Init)) (or ?v_368 (>= (- t_Goal t_COOKING_NOODLES_w1_n13) 14)) (or ?v_372 (>= t_COOKING_NOODLES_w1_n23 t_Init)) (or ?v_372 (>= (- t_Goal t_COOKING_NOODLES_w1_n23) 14)) (or ?v_376 (>= t_COOKING_NOODLES_w1_n33 t_Init)) (or ?v_376 (>= (- t_Goal t_COOKING_NOODLES_w1_n33) 14)) (or ?v_380 (>= t_COOKING_NOODLES_w1_n43 t_Init)) (or ?v_380 (>= (- t_Goal t_COOKING_NOODLES_w1_n43) 14)) (or ?v_384 (>= t_COOKING_NOODLES_w1_n53 t_Init)) (or ?v_384 (>= (- t_Goal t_COOKING_NOODLES_w1_n53) 14)) (or ?v_388 (>= t_COOKING_NOODLES_w1_n63 t_Init)) (or ?v_388 (>= (- t_Goal t_COOKING_NOODLES_w1_n63) 14)) (or ?v_392 (>= t_COOKING_NOODLES_w1_n73 t_Init)) (or ?v_392 (>= (- t_Goal t_COOKING_NOODLES_w1_n73) 14)) (or ?v_396 (>= t_COOKING_NOODLES_w1_n83 t_Init)) (or ?v_396 (>= (- t_Goal t_COOKING_NOODLES_w1_n83) 14)) (or ?v_400 (>= t_COOKING_NOODLES_w1_n93 t_Init)) (or ?v_400 (>= (- t_Goal t_COOKING_NOODLES_w1_n93) 14)) (or ?v_253 (>= t_BOILING_OIL_p1_o13 t_Init)) (or ?v_253 (>= (- t_Goal t_BOILING_OIL_p1_o13) 10)) (or ?v_251 (>= t_BOILING_OIL_p2_o13 t_Init)) (or ?v_251 (>= (- t_Goal t_BOILING_OIL_p2_o13) 10)) (or ?v_301 (>= t_BOILING_WATER_p1_w13 t_Init)) (or ?v_301 (>= (- t_Goal t_BOILING_WATER_p1_w13) 10)) (or ?v_299 (>= t_BOILING_WATER_p2_w13 t_Init)) (or ?v_299 (>= (- t_Goal t_BOILING_WATER_p2_w13) 10)) (or ?v_0 (>= t_COOKING_CARBONARA_n1_l1_e14 t_Init)) (or ?v_0 (>= (- t_Goal t_COOKING_CARBONARA_n1_l1_e14) 1)) (or ?v_1 (>= t_COOKING_CARBONARA_n2_l2_e24 t_Init)) (or ?v_1 (>= (- t_Goal t_COOKING_CARBONARA_n2_l2_e24) 1)) (or ?v_2 (>= t_COOKING_CARBONARA_n3_l3_e34 t_Init)) (or ?v_2 (>= (- t_Goal t_COOKING_CARBONARA_n3_l3_e34) 1)) (or ?v_3 (>= t_COOKING_CARBONARA_n4_l4_e44 t_Init)) (or ?v_3 (>= (- t_Goal t_COOKING_CARBONARA_n4_l4_e44) 1)) (or ?v_4 (>= t_COOKING_CARBONARA_n5_l5_e54 t_Init)) (or ?v_4 (>= (- t_Goal t_COOKING_CARBONARA_n5_l5_e54) 1)) (or ?v_5 (>= t_COOKING_CARBONARA_n6_l6_e64 t_Init)) (or ?v_5 (>= (- t_Goal t_COOKING_CARBONARA_n6_l6_e64) 1)) (or ?v_6 (>= t_COOKING_CARBONARA_n7_l7_e74 t_Init)) (or ?v_6 (>= (- t_Goal t_COOKING_CARBONARA_n7_l7_e74) 1)) (or ?v_7 (>= t_COOKING_CARBONARA_n8_l8_e84 t_Init)) (or ?v_7 (>= (- t_Goal t_COOKING_CARBONARA_n8_l8_e84) 1)) (or ?v_8 (>= t_COOKING_CARBONARA_n9_l9_e94 t_Init)) (or ?v_8 (>= (- t_Goal t_COOKING_CARBONARA_n9_l9_e94) 1)) (or ?v_367 (>= t_COOKING_LARDON_o1_l14 t_Init)) (or ?v_367 (>= (- t_Goal t_COOKING_LARDON_o1_l14) 13)) (or ?v_371 (>= t_COOKING_LARDON_o1_l24 t_Init)) (or ?v_371 (>= (- t_Goal t_COOKING_LARDON_o1_l24) 13)) (or ?v_375 (>= t_COOKING_LARDON_o1_l34 t_Init)) (or ?v_375 (>= (- t_Goal t_COOKING_LARDON_o1_l34) 13)) (or ?v_379 (>= t_COOKING_LARDON_o1_l44 t_Init)) (or ?v_379 (>= (- t_Goal t_COOKING_LARDON_o1_l44) 13)) (or ?v_383 (>= t_COOKING_LARDON_o1_l54 t_Init)) (or ?v_383 (>= (- t_Goal t_COOKING_LARDON_o1_l54) 13)) (or ?v_387 (>= t_COOKING_LARDON_o1_l64 t_Init)) (or ?v_387 (>= (- t_Goal t_COOKING_LARDON_o1_l64) 13)) (or ?v_391 (>= t_COOKING_LARDON_o1_l74 t_Init)) (or ?v_391 (>= (- t_Goal t_COOKING_LARDON_o1_l74) 13)) (or ?v_395 (>= t_COOKING_LARDON_o1_l84 t_Init)) (or ?v_395 (>= (- t_Goal t_COOKING_LARDON_o1_l84) 13)) (or ?v_399 (>= t_COOKING_LARDON_o1_l94 t_Init)) (or ?v_399 (>= (- t_Goal t_COOKING_LARDON_o1_l94) 13)) (or ?v_369 (>= t_COOKING_NOODLES_w1_n14 t_Init)) (or ?v_369 (>= (- t_Goal t_COOKING_NOODLES_w1_n14) 14)) (or ?v_373 (>= t_COOKING_NOODLES_w1_n24 t_Init)) (or ?v_373 (>= (- t_Goal t_COOKING_NOODLES_w1_n24) 14)) (or ?v_377 (>= t_COOKING_NOODLES_w1_n34 t_Init)) (or ?v_377 (>= (- t_Goal t_COOKING_NOODLES_w1_n34) 14)) (or ?v_381 (>= t_COOKING_NOODLES_w1_n44 t_Init)) (or ?v_381 (>= (- t_Goal t_COOKING_NOODLES_w1_n44) 14)) (or ?v_385 (>= t_COOKING_NOODLES_w1_n54 t_Init)) (or ?v_385 (>= (- t_Goal t_COOKING_NOODLES_w1_n54) 14)) (or ?v_389 (>= t_COOKING_NOODLES_w1_n64 t_Init)) (or ?v_389 (>= (- t_Goal t_COOKING_NOODLES_w1_n64) 14)) (or ?v_393 (>= t_COOKING_NOODLES_w1_n74 t_Init)) (or ?v_393 (>= (- t_Goal t_COOKING_NOODLES_w1_n74) 14)) (or ?v_397 (>= t_COOKING_NOODLES_w1_n84 t_Init)) (or ?v_397 (>= (- t_Goal t_COOKING_NOODLES_w1_n84) 14)) (or ?v_401 (>= t_COOKING_NOODLES_w1_n94 t_Init)) (or ?v_401 (>= (- t_Goal t_COOKING_NOODLES_w1_n94) 14)) (or ?v_9 (>= t_EATING_CARBONARA_n1_l1_e15 t_Init)) (or ?v_9 ?v_734) (or ?v_10 (>= t_EATING_CARBONARA_n2_l2_e25 t_Init)) (or ?v_10 ?v_735) (or ?v_11 (>= t_EATING_CARBONARA_n3_l3_e35 t_Init)) (or ?v_11 ?v_736) (or ?v_12 (>= t_EATING_CARBONARA_n4_l4_e45 t_Init)) (or ?v_12 ?v_737) (or ?v_13 (>= t_EATING_CARBONARA_n5_l5_e55 t_Init)) (or ?v_13 ?v_738) (or ?v_14 (>= t_EATING_CARBONARA_n6_l6_e65 t_Init)) (or ?v_14 ?v_739) (or ?v_15 (>= t_EATING_CARBONARA_n7_l7_e75 t_Init)) (or ?v_15 ?v_740) (or ?v_16 (>= t_EATING_CARBONARA_n8_l8_e85 t_Init)) (or ?v_16 ?v_741) (or ?v_17 (>= t_EATING_CARBONARA_n9_l9_e95 t_Init)) (or ?v_17 ?v_742)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
(check-sat)
(set-option :regular-output-channel "/dev/null")
(get-model)
(exit)
